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.1.tar.gz

sha256=809eaf4d5d21f6169aefc8c1fe4eb366dc44cfbda26ea3671087cc455e4409c5

sha512=252f941e20fd7b0ede673fab647c8a60a28777d3de14ebaea38099efb9964ce1f717f8c516b6e48b322ed4cecf86578abdee62e7b48d044f805bf830986a00b8

doc/index.html

coq-of-ocaml