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