https://github.com/plclub/lngen
Haskell29
7 months ago
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
MIT License
Convert Haskell source code to Coq source code.
Coq77mit
2 months ago
coqhaskell