Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Primary LanguageHaskellMIT LicenseMIT
No one’s watching this repository yet.