coq-of-ocamlversion Documentation on ocaml.org
Compile a subset of OCaml to Coq
| Tags | keyword:compilation keyword:OCaml logpath:CoqOfOCaml |
|---|---|
| Author | Guillaume Claret |
| License | MIT |
| Published | |
| Homepage | https://github.com/formal-land/coq-of-ocaml |
| Issue Tracker | https://github.com/formal-land/coq-of-ocaml/issues |
| Maintainer | dev@clarus.me |
| Dependencies | |
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/formal-land/coq-of-ocaml/releases/download/2.5.3/coq-of-ocaml-full.2.5.3.tar.gz sha256=f2438cd6bfcb51c79a687a3b2aa7c693cadde675c4dd402e9dd4f212d7883e2a sha512=cbb4280213bbe8a4c2e992c0c1782bbcbc61f7b3c03f665311df12df1459db62c78d2f365088c9df8cb3abcdb8a031118b7c313494ac504ce8c1dfec4b0a80f5 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.12/opam |
No package is dependent
