Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/ - View it on GitHub