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
Rob Lewis
1 Lean publication
1 publication
Source-backed
Ruben van De Velde
1 Lean publication
1 publication
Source-backed
Salvatore Mercuri
1 Lean publication
1 publication
Source-backed
Sam Ezeh
1 Lean publication
1 publication
Source-backed
Saroj Niraula
1 Lean publication
1 publication
Source-backed
Scott Morrison
1 Lean publication
1 publication
Source-backed
Shogo Saito
1 Lean publication
1 publication
Source-backed
Shreyas Srinivas
1 Lean publication
1 publication
Source-backed
Siddharth Bhat
1 Lean publication
1 publication
Source-backed
Sky Wilshaw
1 Lean publication
1 publication
Source-backed
Soowhan Yoon
1 Lean publication
1 publication
Source-backed
Stephan Mennicke
1 Lean publication
1 publication
Source-backed
Thomas Browning
1 Lean publication
1 publication
Source-backed
Timothy Gowers
1 Lean publication
1 publication
Source-backed
Tobias Grosser
1 Lean publication
1 publication
Source-backed
Vera Stebletsova
1 Lean publication
1 publication
Source-backed
Vlad Tsyrklevich
1 Lean publication
1 publication
Source-backed
Xi Wang
1 Lean publication
1 publication
Source-backed
Yicheng Qian
1 Lean publication
1 publication
Source-backed
Yoav Seginer
1 Lean publication
1 publication
Source-backed
Zoltan A. Kocsis
1 Lean publication
1 publication