coq-blog.clarus.me personal blog
A blog engine written and proven in Coq
The original page did not respond normally when we last checked (HTTP 502). The archived copy may help.
- Points
- 185
- HN comments
- 58
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2015
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 12, 2015 | A blog engine written and proven in Coq by jcurbo | 185 | 58 |
