https://github.com/plclub/lngen
Haskell29
8 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
3 months ago
coqhaskell