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

Floris van Doorn

13 Lean publications

13 publications

Source-backed

Leonardo de Moura

10 Lean publications

10 publications

Source-backed

Jeremy Avigad

9 Lean publications

9 publications

Source-backed

Robert Y. Lewis

9 Lean publications

9 publications

Source-backed

Anne Baanen

7 Lean publications

7 publications

Source-backed

Sebastian Ullrich

7 Lean publications

7 publications

Source-backed

Mario M. Carneiro

6 Lean publications

6 publications

Source-backed

Bhavik Mehta

4 Lean publications

4 publications

Source-backed

Daniel Selsam

4 Lean publications

4 publications

Source-backed

Eric Wieser

4 Lean publications

4 publications

Source-backed

Filippo A. E. Nuccio Mortarino Majno di Capriglio

4 Lean publications

4 publications

Source-backed

Gabriel Ebner

4 Lean publications

4 publications

Source-backed

Jakob von Raumer

4 Lean publications

4 publications

Source-backed

María Inés de Frutos-Fernández

4 Lean publications

4 publications

Source-backed

Patrick Massot

4 Lean publications

4 publications

Source-backed

Sander R. Dahmen

4 Lean publications

4 publications

Source-backed

Alex J. Best

3 Lean publications

3 publications

Source-backed

Heather Macbeth

3 Lean publications

3 publications

Source-backed

Johan Commelin

3 Lean publications

3 publications

Source-backed

Kevin Buzzard

3 Lean publications

3 publications

Source-backed

Oliver Nash

3 Lean publications

3 publications

Source-backed

Rémy Degenne

3 Lean publications

3 publications

Source-backed

Riccardo Brasca

3 Lean publications

3 publications

Source-backed

Sébastien Gouëzel

3 Lean publications

3 publications