github.com/coq/opam-coq-archive
A blog engine written and proven in Coq
opam install coq-chick-blog.1.0.1