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