hs-to-coq

Convert Haskell source code to Coq source code

Archived

GitHub

279 stars
16 watching
27 forks
Language: Coq
last commit: almost 4 years ago

Screenshot of antalsz/hs-to-coq website

hs-to-coq.readthedocs.io