plclub / hs-to-coq

Convert Haskell source code to Coq source code.
78Updated 2 months ago

Related projects

Alternatives and complementary repositories for hs-to-coq