package coq-of-ocaml

You can search for identifiers within the package.

in-package search v0.2.0

Compile a subset of OCaml to Coq

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (11)

Authors

G

Guillaume Claret

Maintainers

D

dev@clarus.me

Sources

sha256=3185fe93e13ce05f409307f04f30de4cbbbdd644b85570f2ef629780b57af174

sha512=835ca0b5f464c602317dedf55c15ca7e4d0f99c88fdda925a595632fe8dc63f6c15e6f4a5578bd211d9fab4fae44d7e61235af786e30f8bb1b2454f55faa6269

doc/index.html

coq-of-ocaml