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)