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
Juneyoung Lee
1 Lean publication
1 publication
Source-backed
Junyan Xu
1 Lean publication
1 publication
Source-backed
Justin Pombrio
1 Lean publication
1 publication
Source-backed
Kai Obendrauf
1 Lean publication
1 publication
Source-backed
Kalle Kytölä
1 Lean publication
1 publication
Source-backed
Kenny Lau
1 Lean publication
1 publication
Source-backed
Kexing Ying
1 Lean publication
1 publication
Source-backed
Kim Morrison
1 Lean publication
1 publication
Source-backed
Koundinya Vajjha
1 Lean publication
1 publication
Source-backed
Kyle Miller
1 Lean publication
1 publication
Source-backed
Lars König
1 Lean publication
1 publication
Source-backed
Lawrence Wu
1 Lean publication
1 publication
Source-backed
Leonardo Mendonça de Moura
1 Lean publication
1 publication
Source-backed
Lior Goldberg
1 Lean publication
1 publication
Source-backed
Lorenzo Luccioli
1 Lean publication
1 publication
Source-backed
Luccioli Lorenzo
1 Lean publication
1 publication
Source-backed
Lukas Gerlach
1 Lean publication
1 publication
Source-backed
Luke Nelson
1 Lean publication
1 publication
Source-backed
Mantas Bakšys
1 Lean publication
1 publication
Source-backed
Marc Huisinga
1 Lean publication
1 publication
Source-backed
Marco Petracci
1 Lean publication
1 publication
Source-backed
Marcus Rossel
1 Lean publication
1 publication
Source-backed
Margus Veanes
1 Lean publication
1 publication
Source-backed
Marijn J. H. Heule
1 Lean publication
1 publication