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
Markus Krötzsch
1 Lean publication
1 publication
Source-backed
Mashu Noguchi
1 Lean publication
1 publication
Source-backed
Matthew Bolan
1 Lean publication
1 publication
Source-backed
Matthew Robert Ballard
1 Lean publication
1 publication
Source-backed
Mauricio Collares
1 Lean publication
1 publication
Source-backed
Michael Rothgang
1 Lean publication
1 publication
Source-backed
Michael Stoll
1 Lean publication
1 publication
Source-backed
Neil Strickland
1 Lean publication
1 publication
Source-backed
Nicholas Carlini
1 Lean publication
1 publication
Source-backed
Nicola Bellumat
1 Lean publication
1 publication
Source-backed
Nicolò Cavalleri
1 Lean publication
1 publication
Source-backed
Nikolas Kuhn
1 Lean publication
1 publication
Source-backed
Nirvana Coppola
1 Lean publication
1 publication
Source-backed
Noah G. Singer
1 Lean publication
1 publication
Source-backed
Nuno P. Lopes
1 Lean publication
1 publication
Source-backed
Pace Nielsen
1 Lean publication
1 publication
Source-backed
Patrick Koopmann
1 Lean publication
1 publication
Source-backed
Patrick Lutz
1 Lean publication
1 publication
Source-backed
Paul Lez
1 Lean publication
1 publication
Source-backed
Percy Liang
1 Lean publication
1 publication
Source-backed
Peter Bruin
1 Lean publication
1 publication
Source-backed
Peter Pfaffelhuber
1 Lean publication
1 publication
Source-backed
Rajeev Goré
1 Lean publication
1 publication
Source-backed
Richard Taylor
1 Lean publication
1 publication