Lobsters
- Proving sorted lists correct using the Coq proof assistent http://www.randomhacks.net/2015/07/19/proving-sorted-lists-correct-using-coq-proof-assistent/ 10 comments programming
Linked pages
- CompCert - Main page http://compcert.inria.fr/ 191 comments
- Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/current/index.html 58 comments
- Feit–Thompson theorem - Wikipedia https://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem 21 comments
- The complete correctness of sorting http://twanvl.nl/blog/agda/sorting 6 comments
- Coq'Art Home page http://www.labri.fr/perso/casteran/CoqArt/ 0 comments
Related searches:
Search whole site: site:www.randomhacks.net
Search title: Proving sorted lists correct using the Coq proof assistant | Random Hacks
See how to search.