1. 18

  2. 1

    Future work It is rather depressing to reflect on the amount of effort that is still required for such a project. Coq has a very steep learning curve. There is no tool support to automate the translation from Haskell to Coq.

    Just want to point out that by now https://github.com/antalsz/hs-to-coq exists.