coq-of-ocaml

Compile a subset of OCaml to Coq

opam install coq-of-ocaml.2.0.0
homepage
https://github.com/clarus/coq-of-ocaml
license
MIT
bugs tracker
https://github.com/clarus/coq-of-ocaml/issues
dependencies
"conf-ruby" {with-test} "coq" {>= "8.9"} "dune" {build} "menhir" {build} "ocaml" {>= "4.05" & < "4.08"} "smart-print" "yojson" {>= "1.6.0"}
source
https://github.com/clarus/coq-of-ocaml/archive/2.0.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-of-ocaml/coq-of-ocaml.2.0.0