Hacker News
- A blog engine written and proven in Coq http://coq-blog.clarus.me/a-blog-engine-written-and-proven-in-coq.html 58 comments
- Pluto: a first concurrent web server in Gallina http://coq-blog.clarus.me/pluto-a-first-concurrent-web-server-in-gallina.html 9 comments
Lobsters
- A blog engine written and proven in Coq http://coq-blog.clarus.me/a-blog-engine-written-and-proven-in-coq.html 8 comments compsci
- A blog engine written and proven in Coq http://coq-blog.clarus.me/a-blog-engine-written-and-proven-in-coq.html 3 comments coq
- A blog engine written and proven in Coq http://coq-blog.clarus.me/a-blog-engine-written-and-proven-in-coq.html 58 comments programming
- Pluto: a first web server written in Coq http://coq-blog.clarus.me/pluto--a-first-web-server-written-in-coq.html 8 comments coq
- OPAM as a package manager for Coq http://coq-blog.clarus.me/use-opam-for-coq.html 3 comments coq