coq-chick-blog

A blog engine written and proven in Coq

opam install coq-chick-blog.1.0.1
homepage
https://github.com/clarus/coq-chick-blog
license
MIT
bugs tracker
https://github.com/clarus/coq-chick-blog/issues
dependencies
"cohttp-lwt-unix" "coq-error-handlers" "coq-function-ninjas" "coq-list-string" "coq-moment" "coq" "lwt" "ocaml" {>= "4.03"} "ocamlfind" {build}
source
https://github.com/clarus/coq-chick-blog/archive/1.0.1.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-chick-blog/coq-chick-blog.1.0.1