/coq-of-ocaml

Formal verification for OCaml

Primary LanguageOCamlMIT LicenseMIT

Stargazers