Coq OPAMcoq-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