The Lean Theorem Prover

leanprover-community.github.io

2 pointsbx3761 comment

The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research.