Lean Theorem Prover #1 Post by hamdal » Wed, Feb 10, 2016, 5:05 PM UTC Lean Theorem Proverleanprover.github.io