GitHub repo leaderboard by stars, growth rate and activity.

• leanprover

  #1leanprover/lean4

  Lean 4 programming language and theorem prover

  Lean9,110 starslast pushed 3 hours ago
• leanprover-community

  #2leanprover-community/mathlib4

  The math library of Lean 4

  Lean4,094 starslast pushed 4 hours ago

#	Repo	Language	Stars	30-day trend	Last updated
1	leanprover leanprover/lean4 Lean 4 programming language and theorem prover	Lean	9,110	—	last pushed 3 hours ago
2	leanprover-community leanprover-community/mathlib4 The math library of Lean 4	Lean	4,094		last pushed 4 hours ago

All · 11,658