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

Soonho Kong

3 Lean publications

3 publications

Source-backed

Terence Tao

3 Lean publications

3 publications

Source-backed

Amelia Livingston

2 Lean publications

2 publications

Source-backed

Anand Rao Tadipatri

2 Lean publications

2 publications

Source-backed

Andrés Goens

2 Lean publications

2 publications

Source-backed

Ashvni Narayanan

2 Lean publications

2 publications

Source-backed

Cayden Codel

2 Lean publications

2 publications

Source-backed

Chris Hughes

2 Lean publications

2 publications

Source-backed

Christopher Birkbeck

2 Lean publications

2 publications

Source-backed

Cody Roux

2 Lean publications

2 publications

Source-backed

Dagur Asgeirsson

2 Lean publications

2 publications

Source-backed

Emina Torlak

2 Lean publications

2 publications

Source-backed

Eric Rodriguez Boidi

2 Lean publications

2 publications

Source-backed

Jannis Limperg

2 Lean publications

2 publications

Source-backed

Jesse Michael Han

2 Lean publications

2 publications

Source-backed

Joshua Clune

2 Lean publications

2 publications

Source-backed

Jujian Zhang

2 Lean publications

2 publications

Source-backed

Kyle A. Miller

2 Lean publications

2 publications

Source-backed

Martin Dvorak

2 Lean publications

2 publications

Source-backed

Minchao Wu

2 Lean publications

2 publications

Source-backed

Paul-Nicolas Madelaine

2 Lean publications

2 publications

Source-backed

Pietro Monticone

2 Lean publications

2 publications

Source-backed

Ramon Fernández Mir

2 Lean publications

2 publications

Source-backed

Simon Hudon

2 Lean publications

2 publications