coq-of-ocaml

Compile a subset of OCaml to Coq
Description
Install
keyword:compilation keyword:OCaml logpath:CoqOfOCaml
Documentation github.com Changelog MIT License Edit opam file
Published
15 Mar 2021
Authors
Maintainers
Sources
2.4.1.tar.gz
sha256=5856656d5542475e7eaf9e82a8348d85754f5c1ef1c56240ca97234793fb68ff sha512=44530bce7d40c8a27459db17c504b2a14d9c37fdbb0658df70bcf376df4309bd88222b89a069d8534c09eb40f1394dabda2bade9e44a9fde5a49b01fc9325d35
Dependencies
yojson >= "1.6.0"
smart-print
ocamlfind >= "1.5.2"
ocaml >= "4.10" & < "4.11"
dune >= "2.8"
csexp < "1.5"
Reverse Dependencies
Conflicts
coq < "8.11"