coq-of-ocaml

Compile a subset of OCaml to Coq

opam install coq-of-ocaml.2.2.1
homepage
https://github.com/clarus/coq-of-ocaml
license
MIT
bugs tracker
https://github.com/clarus/coq-of-ocaml/issues
dependencies
"dune" {>= "1.11"} "ocaml" {>= "4.09" & < "4.10"} "ocamlfind" {>= "1.5.2"} "smart-print" "yojson" {>= "1.6.0"}
source
https://github.com/clarus/coq-of-ocaml/archive/2.2.1.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-of-ocaml/coq-of-ocaml.2.2.1