coq-of-ocamlversion Documentation on ocaml.org
Compile a subset of OCaml to Coq
| Tags | keyword:compilation keyword:ocaml logpath:OCaml |
|---|---|
| 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.2.1.tar.gz sha256=3185fe93e13ce05f409307f04f30de4cbbbdd644b85570f2ef629780b57af174 sha512=835ca0b5f464c602317dedf55c15ca7e4d0f99c88fdda925a595632fe8dc63f6c15e6f4a5578bd211d9fab4fae44d7e61235af786e30f8bb1b2454f55faa6269 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.2.1/opam |
No package is dependent
