« earlier | later » Page 1 of 1
Finding bugs in Haskell code by proving it – Blog – Joachim Breitner's Homepage edit / delete
A worked example of using hs-to-coq.
to coq correctness formal-verification functional haskell ... on 10 December 2017
Software Foundations edit / delete
Practical proof in programming; based on Coq. Full text of the book available online.
to coq correctness proof teaching ... on 10 February 2017
« earlier | later » Page 1 of 1
| - coq | |
| 2 | + correctness |
| 1 | + formal-verification |
| 1 | + functional |
| 1 | + haskell |
| 1 | + proof |
| 1 | + teaching |
tasty by Adam Sampson.