1. 12
    Total Haskell is Reasonable Coq pdf formalmethods haskell cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment

  1.  

  2. 7
    bennn avatar bennn 7 months ago | link

    Here’s a small example using hs-to-coq: https://dbp.io/essays/2018-01-16-how-to-prove-a-compiler-correct.html