People
Lean is principally developed at the Lean FRO.
Past development team members:
-
Gabriel Ebner (Microsoft Research)
-
Dany Fabian (Microsoft)
-
Daniel Selsam (OpenAI)
-
Jared Roesch (OctoML)
-
Robert Lewis (Brown University)
-
Floris van Doorn (University of Bonn)
-
Soonho Kong (AWS)
-
Jakob von Raumer (University of Nottingham)
-
Jeremy Avigad (Carnegie Mellon University)
-
Mario Carneiro (Carnegie Mellon University)
-
Johannes Hölzl (Apple)
Further contributors:
-
Assia Mahboubi (INRIA)
-
Cody Roux (AWS)
-
Parikshit Khanna (Indian Institute of Technology, Kanpur)
-
Ulrik Buchholtz (University of Nottingham)
-
Favonia (Kuen-Bang Hou) (University of Minnesota)
-
Haitao Zhang (Independent Researcher)
-
Jacob Alexander Gross (University of Pittsburgh)
-
Andrew Zipperer (Carnegie Mellon University)