leanprover-community/mathlib4

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Aug 14 – Oct 12, 2026

Stars +445 in 60 days

Forks +196 in 60 days

Merged PRs 0 in 60 days

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 in Lean

3113582310192223323372593245544107646101043212710551396861859735

Aug 14Aug 22Aug 30Sep 7Sep 15Sep 23Oct 1Oct 9

Stars, forks, merged pull requests and Trendshift Trending rank, by day
Day	Stars gained	Forks gained	Lean
Fri, Aug 14, 2026	+10	+1	#3
Sat, Aug 15, 2026	+5	+2	#11
Sun, Aug 16, 2026	+8	+4	#3
Mon, Aug 17, 2026	+10	+5	#5
Tue, Aug 18, 2026	+4	+2	#8
Wed, Aug 19, 2026	+15	+5	#2
Thu, Aug 20, 2026	+11	+5	#3
Fri, Aug 21, 2026	+4	+4	#10
Sat, Aug 22, 2026	+2	+1	#19
Sun, Aug 23, 2026	+7	+3	#2
Mon, Aug 24, 2026	+10	+5	#2
Tue, Aug 25, 2026	+7	+2	#2
Wed, Aug 26, 2026	+5	+3	#3
Thu, Aug 27, 2026	+6	+3	#3
Fri, Aug 28, 2026	+13	+4	#2
Sat, Aug 29, 2026	+8	+1	#3
Sun, Aug 30, 2026	+0	+5	Not trending
Mon, Aug 31, 2026	+7	+1	#3
Tue, Sep 1, 2026	+5	+3	#7
Wed, Sep 2, 2026	+2	+0	Not trending
Thu, Sep 3, 2026	+2	+3	#25
Fri, Sep 4, 2026	+5	+7	#9
Sat, Sep 5, 2026	+18	+4	#3
Sun, Sep 6, 2026	+32	+6	#2
Mon, Sep 7, 2026	+7	+6	#4
Tue, Sep 8, 2026	+11	+4	#5
Wed, Sep 9, 2026	+14	+8	#5
Thu, Sep 10, 2026	+12	+6	#4
Fri, Sep 11, 2026	+16	+3	#4
Sat, Sep 12, 2026	+5	+3	#10
Sun, Sep 13, 2026	+6	+3	#7
Mon, Sep 14, 2026	+8	+4	#6
Tue, Sep 15, 2026	+8	+4	#4
Wed, Sep 16, 2026	+4	+3	#6
Thu, Sep 17, 2026	+3	+1	#10
Fri, Sep 18, 2026	+5	+5	#10
Sat, Sep 19, 2026	+6	+1	#4
Sun, Sep 20, 2026	+8	+2	#3
Mon, Sep 21, 2026	+12	+2	#2
Tue, Sep 22, 2026	+2	+5	#12
Wed, Sep 23, 2026	+6	+4	#7
Thu, Sep 24, 2026	+5	+2	#10
Fri, Sep 25, 2026	+5	+3	#5
Sat, Sep 26, 2026	+5	+1	#5
Sun, Sep 27, 2026	+2	+4	Not trending
Mon, Sep 28, 2026	+4	+3	#13
Tue, Sep 29, 2026	+5	+2	#9
Wed, Sep 30, 2026	+5	+4	#6
Thu, Oct 1, 2026	+5	+2	#8
Fri, Oct 2, 2026	+1	+2	Not trending
Sat, Oct 3, 2026	+4	+4	#6
Sun, Oct 4, 2026	+2	+2	#18
Mon, Oct 5, 2026	+6	+0	#5
Tue, Oct 6, 2026	+5	+2	#9
Wed, Oct 7, 2026	+11	+4	#7
Thu, Oct 8, 2026	+14	+4	#3
Fri, Oct 9, 2026	+10	+4	#5
Sat, Oct 10, 2026	+13	+7	Not trending
Sun, Oct 11, 2026	+7	+1	Not trending
Mon, Oct 12, 2026	+7	+2	Not trending
Total	+445	+196

#1 on the list
Rank that day
Not trending

Momentum

Activity and trending

GitHub trending history

Mentions and achievements

You might also like

You might also like

leanprover/lean4

lean-dojo/LeanCopilot

openai/math

anthropics/fermats-last-theorem

rocq-prover/rocq

teorth/analysis

google-deepmind/formal-conjectures

Z3Prover/z3

deepseek-ai/DeepSeek-Math-V2