beschmi/lean-ocaml-bindings
Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/
OCaml
No issues in this repository yet.
Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/
OCaml
No issues in this repository yet.