The Lean Theorem Prover Leonardo de Moura (Microsoft Research), Soonho Kong (CMU), Jeremy Avigad (CMU), Floris van Doorn (CMU), Jakob von Raumer (KIT), Rob Lewis (CMU), Haitao Zhang, Daniel Selsam (Stanford) CICM, 2015/07/09 http://leanprover.github.io Many thanks to Cody Roux Georges Gonthier Grant Passmore Nikhil Swamy Assia Mahboubi Bas Spitters Steve Awodey Ulrik Buchholtz Tom Ball Parikshit K