Convenience functions for unit testing in Coq.
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.