pedrotst / coq-of-ocaml

Import OCaml programs to Coq 🐓 🐫

https://clarus.github.io/coq-of-ocaml/

Geek Repo

Github PK Tool