Authors The Lean theorem prover is being developed by Leonardo de Moura (Microsoft Research) Soonho Kong (CMU)