google-deepmind/formal-conjectures

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 +139 in 60 days

Forks +128 in 60 days

Merged PRs 903 in 60 days

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

Top 25 in Lean

2414141013141156961372108221186643136572075116341112816124101998

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	Merged PRs	Lean
Fri, Aug 14, 2026	+0	+0	21	#24
Sat, Aug 15, 2026	+2	+1	7	#14
Sun, Aug 16, 2026	+1	+0	16	#14
Mon, Aug 17, 2026	+0	+0	2	Not trending
Tue, Aug 18, 2026	+2	+3	6	#10
Wed, Aug 19, 2026	+2	+1	4	#13
Thu, Aug 20, 2026	+2	+1	10	#14
Fri, Aug 21, 2026	+4	+3	6	#1
Sat, Aug 22, 2026	+1	+2	10	#15
Sun, Aug 23, 2026	+2	+2	5	#6
Mon, Aug 24, 2026	+0	+1	15	Not trending
Tue, Aug 25, 2026	+1	+1	4	Not trending
Wed, Aug 26, 2026	+2	+0	6	#9
Thu, Aug 27, 2026	+3	+1	3	#6
Fri, Aug 28, 2026	+2	+1	0	#13
Sat, Aug 29, 2026	+3	+2	7	#7
Sun, Aug 30, 2026	+5	+2	1	#2
Mon, Aug 31, 2026	+2	+4	2	#10
Tue, Sep 1, 2026	+3	+2	15	#8
Wed, Sep 2, 2026	+1	+0	15	#22
Thu, Sep 3, 2026	+3	+2	1	#11
Fri, Sep 4, 2026	+1	+2	2	Not trending
Sat, Sep 5, 2026	+5	+5	0	#8
Sun, Sep 6, 2026	+0	+2	0	Not trending
Mon, Sep 7, 2026	+2	+9	6	#6
Tue, Sep 8, 2026	+4	+5	5	#6
Wed, Sep 9, 2026	+9	+6	20	#4
Thu, Sep 10, 2026	+12	+5	31	#3
Fri, Sep 11, 2026	+2	+3	36	#13
Sat, Sep 12, 2026	+3	+2	97	#6
Sun, Sep 13, 2026	+4	+2	39	#5
Mon, Sep 14, 2026	+5	+4	29	#7
Tue, Sep 15, 2026	+0	+3	13	Not trending
Wed, Sep 16, 2026	+2	+0	9	#20
Thu, Sep 17, 2026	+1	+1	2	Not trending
Fri, Sep 18, 2026	+2	+1	59	#7
Sat, Sep 19, 2026	+2	+2	42	#5
Sun, Sep 20, 2026	+0	+2	54	#11
Mon, Sep 21, 2026	+3	+3	26	#6
Tue, Sep 22, 2026	+2	+0	43	#3
Wed, Sep 23, 2026	+5	+4	25	#4
Thu, Sep 24, 2026	+1	+0	7	Not trending
Fri, Sep 25, 2026	+2	+3	0	#11
Sat, Sep 26, 2026	+2	+4	0	#12
Sun, Sep 27, 2026	+4	+1	35	#8
Mon, Sep 28, 2026	+1	+2	6	Not trending
Tue, Sep 29, 2026	+2	+2	5	#16
Wed, Sep 30, 2026	+2	+2	16	#12
Thu, Oct 1, 2026	+4	+3	2	#4
Fri, Oct 2, 2026	+1	+3	0	Not trending
Sat, Oct 3, 2026	+0	+4	1	Not trending
Sun, Oct 4, 2026	+0	+0	0	Not trending
Mon, Oct 5, 2026	+3	+0	0	#10
Tue, Oct 6, 2026	+0	+2	2	Not trending
Wed, Oct 7, 2026	+1	+1	19	#19
Thu, Oct 8, 2026	+3	+2	40	#9
Fri, Oct 9, 2026	+3	+3	16	#8
Sat, Oct 10, 2026	+1	+1	15	Not trending
Sun, Oct 11, 2026	+2	+4	45	Not trending
Mon, Oct 12, 2026	+2	+1	0	Not trending
Total	+139	+128	903

#1 on the list
Rank that day
Not trending

Momentum

Activity and trending

Mentions and achievements

You might also like

You might also like

openai/math

lean-dojo/LeanCopilot

deepseek-ai/DeepSeek-Math-V2

open-thoughts/open-thoughts

rossant/awesome-math

leanprover-community/mathlib4

anthropics/fermats-last-theorem

google-deepmind/alphageometry

deepseek-ai/DeepSeek-Math