/lean-ocaml-bindings

Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/

Primary LanguageOCaml

No issues in this repository yet.