yiyuan-cao/lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
HaskellMIT
No issues in this repository yet.
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
HaskellMIT
No issues in this repository yet.