People

Lean 4 is being developed by:

The mathematical components library (mathlib) is being developed by:

Past members:

Contributors:

  • Assia Mahboubi (INRIA)
  • Cody Roux (Draper Laboratory)
  • 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)