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.5.0.tar.gz sha256=d58dc0f9223fdf228f995ddc020c9e54499d8d8adf579f07ab900ba88f2967d4 sha512=ed60c61e3c534c4e4b81262a54e0a5896d25070251ed8c7ea68f6f1e4c9374d5f61c35f5093881d061517213973f77d3ba9ab0ea178343164eb1588b928fbe80 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.5.0/opam |
No package is dependent
