lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
30 stars
10 watching
9 forks
Language: Haskell
last commit: 6 months ago
Linked from 1 awesome list
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott