Compile a subset of OCaml to Coq
Description

Install

keyword:compilation keyword:OCaml logpath:CoqOfOCaml
Documentation github.com Readme Changelog MIT License Edit opam file

Published

06 Jan 2023

Authors

Maintainers

Sources

coq-of-ocaml-full.2.5.3+4.14.tar.gz
sha256=1c6d414ae8e4babfd79f82cb667cdaaf11b4c3b76dc83de4c23f6ee8ec6affff
sha512=4b017b5892ef0c665a5ff5da292ec5cbdd1a103dfb7193553b78d25693787acd359a30028c335b300883d555786d3787258fe7a57d63cd53b94edc6b40e8ffbe

Dependencies

yojson >= "1.6.0"
smart-print
result
ocamlfind >= "1.5.2"
ocaml >= "4.14" & < "4.15"
dune >= "2.9"
csexp >= "1.5.0"
angstrom >= "0.15.0"

Reverse Dependencies

None

Conflicts

coq < "8.11"