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
Sorawee Porncharoenwase
2 Lean publications
2 publications
Source-backed
Ulrik Buchholtz
2 Lean publications
2 publications
Source-backed
Utensil Song
2 Lean publications
2 publications
Source-backed
Wojciech Nawrocki
2 Lean publications
2 publications
Source-backed
Yaël Dillies
2 Lean publications
2 publications
Source-backed
Yury Kudryashov
2 Lean publications
2 publications
Source-backed
Aaron Anderson
1 Lean publication
1 publication
Source-backed
Aaron Hill
1 Lean publication
1 publication
Source-backed
Adam Topaz
1 Lean publication
1 publication
Source-backed
Alena Gusakov
1 Lean publication
1 publication
Source-backed
Alex Keizer
1 Lean publication
1 publication
Source-backed
Alex Kontorovich
1 Lean publication
1 publication
Source-backed
Alex Meiburg
1 Lean publication
1 publication
Source-backed
Alexander Bentkamp
1 Lean publication
1 publication
Source-backed
Alexander Best
1 Lean publication
1 publication
Source-backed
Alon Titelman
1 Lean publication
1 publication
Source-backed
Amir Livne Bar-on
1 Lean publication
1 publication
Source-backed
Andrew Yang
1 Lean publication
1 publication
Source-backed
Anindya Banerjee
1 Lean publication
1 publication
Source-backed
Anshula Gandhi
1 Lean publication
1 publication
Source-backed
Anthony Bordg
1 Lean publication
1 publication
Source-backed
Antoine Chambert-Loir
1 Lean publication
1 publication
Source-backed
Arend Mellendijk
1 Lean publication
1 publication
Source-backed
Arohee Bhoja
1 Lean publication
1 publication