HoTT/Coq-HoTT

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 8, 2026

Stars +6 in 56 days

Forks +3 in 56 days

Merged PRs 25 in 56 days

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

Top 25 in Rocq Prover

6102231121111891031694859

Aug 14Aug 21Aug 28Sep 4Sep 11Sep 18Sep 25Oct 2

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

#1 on the list
Rank that day
Not trending

Momentum

Activity and trending

Mentions and achievements

You might also like

You might also like

leanprover-community/mathlib4

rocq-prover/rocq