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.3+4.13.tar.gz

sha256=9163c752a30d310443e5d5677a96ebfbbdf08dfe0042fe1fee3402f9e7efb492

sha512=f3d1f84b3269035502c95967835c6baa8ec501127b2139e221f90ab2ca47b149c6f6c61f8ba50faef62d2076d03bb428cb775bcf13587b89bf85716445fe92a4

doc/index.html

coq-of-ocaml