hs-to-coq

hs-to-coq

https://github.com/plclub/hs-to-coq

Coq77

3 months ago

Reviews

Convert Haskell source code to Coq source code.

Search similar apps

License

MIT License

Share

Convert Haskell source code to Coq source code.

Creator

plclub

Related apps

lngen

Tool for generating Locally Nameless definitions and proofs in Coq, working toge

Haskell29mit

8 months ago