/coq-plugin-example

a very simple coq plugin, for introduction purpose

Primary LanguageOCamlMIT LicenseMIT

Stargazers