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

coq-of-ocaml-full.2.5.2.tar.gz

sha256=55564be48ccbdb5b7bcaced6480365e099b8bd7193454b613a4398fd033247ac

sha512=712c9d594f6f045c127dd9883315286ad83268f7e627771b17437e167d5bbfd221fa79d071b1e77e04e80d219b820dfef14eb0494433e778c9ecfd52d131e665

doc/index.html

coq-of-ocaml