https://github.com/plclub/hs-to-coq
Coq71
9 months ago
Convert Haskell source code to Coq source code.
MIT License
Tool for generating Locally Nameless definitions and proofs in Coq, working toge
Haskell29mit
6 months ago
The Penn Locally Nameless Metatheory Library
Coq68other
last year