Coq OPAMcoq-of-ocaml
Compile a subset of OCaml to Coq
opam install coq-of-ocaml.2.1.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.11"} "dune" {build} "menhir" {build} "ocaml" {>= "4.07" & < "4.08"} "smart-print" "yojson" {>= "1.6.0"}
- source
- https://github.com/clarus/coq-of-ocaml/archive/2.1.0.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-of-ocaml/coq-of-ocaml.2.1.0