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
Emmanuel Osalotioman Osazuwa
1 Lean publication
1 publication
Source-backed
Eric Vin
1 Lean publication
1 publication
Source-backed
Eric Wang
1 Lean publication
1 publication
Source-backed
Etienne Marion
1 Lean publication
1 publication
Source-backed
Fan Zheng
1 Lean publication
1 publication
Source-backed
Fernando Vaquerizo-Villar
1 Lean publication
1 publication
Source-backed
Frédéric Dupuis
1 Lean publication
1 publication
Source-backed
Giovanni Paolini
1 Lean publication
1 publication
Source-backed
Harald Husum
1 Lean publication
1 publication
Source-backed
Hendrik Maarand
1 Lean publication
1 publication
Source-backed
Henning Basold
1 Lean publication
1 publication
Source-backed
Hernán Ibarra Mejia
1 Lean publication
1 publication
Source-backed
James Gallicchio
1 Lean publication
1 publication
Source-backed
Jared Roesch
1 Lean publication
1 publication
Source-backed
Jasmin Blanchette
1 Lean publication
1 publication
Source-backed
Jean-Baptiste Tristan
1 Lean publication
1 publication
Source-backed
Jérémy Scanvic
1 Lean publication
1 publication
Source-backed
Joachim Breitner
1 Lean publication
1 publication
Source-backed
Joël Riou
1 Lean publication
1 publication
Source-backed
Johannes Hölzl
1 Lean publication
1 publication
Source-backed
Johannes Tantow
1 Lean publication
1 publication
Source-backed
Jonas Bayer
1 Lean publication
1 publication
Source-backed
Jose Brox
1 Lean publication
1 publication
Source-backed
Joseph Tassarotti
1 Lean publication
1 publication