Convenience functions for unit testing in Coq.
Primary LanguageCoqMIT LicenseMIT
No one’s watching this repository yet.