coq-of-ocaml

Compile OCaml to Coq.

opam install coq-of-ocaml.1.1.0
homepage
https://github.com/clarus/coq-of-ocaml
license
MIT
bugs tracker
https://github.com/clarus/coq-of-ocaml/issues
dependencies
coq >= 8.4.5 & yojson & smart-print
source
https://github.com/clarus/coq-of-ocaml/archive/1.1.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-of-ocaml/coq-of-ocaml.1.1.0