« earlier | later »
Page 1 of 1
Finding bugs in Haskell code by proving it – Blog – Joachim Breitner's Homepage
A worked example of using hs-to-coq.
to coq correctness formal-verification functional haskell ...
on 10 December 2017
by Adam Sampson.