package coq-chick-blog
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A blog engine written and proven in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.1.tar.gz
sha512=1327eba89ee0b0a21559e624bc478763e5f431f3e9fc6ba272ac3f60a64ac4a921287f4c773eba86cc8ea101fe14601350bfe4063a4870355e215bd6a2e5ce5d
Description
Dependencies (9)
-
ocamlfind
build -
ocaml
>= "4.03" - lwt
-
coq
< "8.15~" - coq-moment
- coq-list-string
- coq-function-ninjas
- coq-error-handlers
- cohttp-lwt-unix
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page