package coq-of-ocaml

  1. Overview
  2. Docs
Compile a subset of OCaml to Coq

Install

Dune Dependency

Authors

Maintainers

Sources

2.2.1.tar.gz
sha256=3185fe93e13ce05f409307f04f30de4cbbbdd644b85570f2ef629780b57af174
sha512=835ca0b5f464c602317dedf55c15ca7e4d0f99c88fdda925a595632fe8dc63f6c15e6f4a5578bd211d9fab4fae44d7e61235af786e30f8bb1b2454f55faa6269

doc/index.html

coq-of-ocaml

OCaml

Innovation. Community. Security.