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
26 Jan 2022
Authors
Maintainers
Sources
coq-of-ocaml-full.2.5.2+4.13.tar.gz
sha256=9dfde155240061a70b803715609246d360605d887035070b160190e21f672dbd sha512=259a034fdff6cc0ca4af935eb07ec4dac7916a199452bec2bccbf5b6e26f6dfbcbd33ba53dfe63d0fc64a9c04763129e76ff6d04ebd53bb24e378b96457651ec
Dependencies
yojson >= "1.6.0"
smart-print
result
ocamlfind >= "1.5.2"
ocaml >= "4.13" & < "4.14"
dune >= "2.9"
csexp
Reverse Dependencies
Conflicts
coq < "8.11"