/coq-cunit

Convenience functions for unit testing in Coq.

Primary LanguageCoqMIT LicenseMIT

Stargazers