lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Original code by Brian Aydemir
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Original code by Brian Aydemir
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
MIT License