People

Lean is principally developed at the Lean FRO.

Past development team members:

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)