People in Lean research
Researchers
Claimable scholarly profiles for mathematical authors, formalizers, maintainers, and project contributors without collapsing those roles into one.
189 profiles backed by Lean publication records
Source-backed
Asta Halkjær From
1 Lean publication
1 publication
Source-backed
Ben Eltschig
1 Lean publication
1 publication
Source-backed
Bernardo Subercaseaux
1 Lean publication
1 publication
Source-backed
Bernhard Reinke
1 Lean publication
1 publication
Source-backed
Bjørn Kjos-Hanssen
1 Lean publication
1 publication
Source-backed
Bruno Le Floch
1 Lean publication
1 publication
Source-backed
Bryan Gin–ge Chen
1 Lean publication
1 publication
Source-backed
Chase Norman
1 Lean publication
1 publication
Source-backed
Chung-Kil Hur
1 Lean publication
1 publication
Source-backed
Damiano Testa
1 Lean publication
1 publication
Source-backed
Daniel J. Fremont
1 Lean publication
1 publication
Source-backed
Daniel Weber
1 Lean publication
1 publication
Source-backed
David Kurniadi Angdinata
1 Lean publication
1 publication
Source-backed
David L. Dill
1 Lean publication
1 publication
Source-backed
David Ledvinka
1 Lean publication
1 publication
Source-backed
David Levit
1 Lean publication
1 publication
Source-backed
David Loeffler
1 Lean publication
1 publication
Source-backed
David Renshaw
1 Lean publication
1 publication
Source-backed
Dominique Lawson
1 Lean publication
1 publication
Source-backed
Douglas McNeil
1 Lean publication
1 publication
Source-backed
Edward W. Ayers
1 Lean publication
1 publication
Source-backed
Egbert Rijke
1 Lean publication
1 publication
Source-backed
Ekaterina Zhuchko
1 Lean publication
1 publication
Source-backed
Emily Riehl
1 Lean publication
1 publication