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/archive/2.4.1.tar.gz sha256=5856656d5542475e7eaf9e82a8348d85754f5c1ef1c56240ca97234793fb68ff sha512=44530bce7d40c8a27459db17c504b2a14d9c37fdbb0658df70bcf376df4309bd88222b89a069d8534c09eb40f1394dabda2bade9e44a9fde5a49b01fc9325d35 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.4.1/opam |
No package is dependent
