leanprover-community/mathlib4

The math library of Lean 4

Lean4,469 stars1,847 forksApache-2.0

Momentum

leanprover-community/mathlib4 has 4,469 GitHub stars. It gained +44 stars in the last 7 days and +177 in the last 30 days (snapshots through Nov 11, 2026).

Its biggest recent day was Oct 28, 2026, with +16 stars.

It currently ranks #1557 daily, #1750 weekly, #1985 monthly by momentum on Trending Repos; its best-ever rank is #142.

Trending Repos first recorded it on May 15, 2026.

Rankings

PeriodRankScore

Daily

#15576.0

Weekly

#17505.4

Monthly

#19854.9

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #142

Format

Markdown

[![leanprover-community/mathlib4 badge](https://trending-repos.com/badge/leanprover-community/mathlib4.svg?v=3)](https://trending-repos.com/repositories/leanprover-community/mathlib4?utm_source=github&utm_medium=badge)

Date	Stars gained	Total stars	Forks gained
Nov 11, 2026	+11	4,468	+2
Nov 10, 2026	+5	4,457	+6
Nov 9, 2026	+5	4,452	+3
Nov 8, 2026	+5	4,447	+7
Nov 7, 2026	+8	4,442	+5
Nov 6, 2026	+5	4,434	+1
Nov 5, 2026	+5	4,429	+4
Nov 4, 2026	+6	4,424	+1
Nov 3, 2026	+4	4,418	+3
Nov 2, 2026	+9	4,414	0
Nov 1, 2026	+7	4,405	+6
Oct 31, 2026	+4	4,398	-1
Oct 30, 2026	+7	4,394	+4
Oct 29, 2026	+9	4,387	+6

leanprover-community/mathlib4

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

leanprover-community/mathlib4

Momentum

Rankings

Engagement

Similar trending repositories

Embeds