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=889046cbfdc479b02aa9a97bcb6284df7539eba60e0f37f03c365e658445395d

sha512=eec30792f4ab93a4ce9f8b94880c6e44bd7bc11424e24258c20e06e414af10fc108435543976e9c962ed7bbf17384cfe3bcf9114c90aeb57f3e1e188716537fe

doc/index.html

coq-of-ocaml