/coq-of-ocaml

Import OCaml programs to Coq 🐓 🐫

Primary LanguageOCamlMIT LicenseMIT

Stargazers