« 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
« earlier | later » Page 1 of 1
| - formal-verification | |
| 1 | coq |
| 1 | correctness |
| 1 | formal-verification |
| 1 | functional |
| 1 | haskell |
tasty by Adam Sampson.