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 Paris-Saclay)
- 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 (Carnegie Mellon University)
- Favonia (Kuen-Bang Hou) (Carnegie Mellon University)
- Haitao Zhang (Independent Researcher)
- Jacob Alexander Gross (University of Pittsburgh)
- Andrew Zipperer (Carnegie Mellon University)