Linking pages
Linked pages
- Finding bugs in Haskell code by proving it – Blog – Joachim Breitner's Homepage https://www.joachim-breitner.de/blog/734-Finding_bugs_in_Haskell_code_by_proving_it 180 comments
- [1711.09286] Total Haskell is Reasonable Coq https://arxiv.org/abs/1711.09286 4 comments
- The Science of Deep Specification https://deepspec.org/ 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - antalsz/hs-to-coq: Convert Haskell source code to Coq source code
See how to search.