Lean repositories
Ordered by stars within our imported repository sample.
Snapshot: 2026-10-31T12:18:20.650Z. Rankings use this list’s declared public metric; missing values sort last, ties use record ID, and Trending retains source order.
#2
Ranked by stars: 2,053
openai/NavierStokesAndEuler
Lean certificates accompanying Navier-Stokes and Euler results
2053 stars · 215 forks · Lean
#3
Ranked by stars: 1,250
anthropics/fermats-last-theorem
No description supplied.
1250 stars · 106 forks · Lean
#5
Ranked by stars: 257
tristanbuckmaster/fluid_lean
No description supplied.
257 stars · 19 forks · Lean