Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/
Primary LanguageOCaml
This repository is not active