/lngen

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Primary LanguageHaskellMIT LicenseMIT

Issues