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+4.14.tar.gz sha256=1c6d414ae8e4babfd79f82cb667cdaaf11b4c3b76dc83de4c23f6ee8ec6affff sha512=4b017b5892ef0c665a5ff5da292ec5cbdd1a103dfb7193553b78d25693787acd359a30028c335b300883d555786d3787258fe7a57d63cd53b94edc6b40e8ffbe |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.14/opam |
No package is dependent
