rocq-prover/rocq

rocq-prover/rocq

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

OCaml

5.6k

742

309 contributors

GNU Lesser General Public License v2.1

website

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

Forks +19 in 60 days

Merged PRs 136 in 60 days

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

Top 25 in OCaml

2071920246634215168201723818241913191231110219721517322173155515

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	OCaml
Fri, Aug 14, 2026	+0	+2	0	Not trending
Sat, Aug 15, 2026	No figure	No figure	No figure	Not trending
Sun, Aug 16, 2026	+0	+0	2	#20
Mon, Aug 17, 2026	+1	+1	0	#7
Tue, Aug 18, 2026	+0	+0	6	#19
Wed, Aug 19, 2026	+0	+0	12	#20
Thu, Aug 20, 2026	+0	+2	3	#24
Fri, Aug 21, 2026	+1	+1	6	#6
Sat, Aug 22, 2026	+1	+0	3	#6
Sun, Aug 23, 2026	+2	+1	0	#3
Mon, Aug 24, 2026	+2	+0	1	#4
Tue, Aug 25, 2026	+0	+0	0	Not trending
Wed, Aug 26, 2026	+1	+0	4	#21
Thu, Aug 27, 2026	+0	+0	2	Not trending
Fri, Aug 28, 2026	+2	+0	1	#5
Sat, Aug 29, 2026	+0	+0	0	Not trending
Sun, Aug 30, 2026	+1	+0	0	#16
Mon, Aug 31, 2026	+2	+0	0	#8
Tue, Sep 1, 2026	+0	+1	4	#20
Wed, Sep 2, 2026	+1	+0	2	#17
Thu, Sep 3, 2026	+1	+0	1	#23
Fri, Sep 4, 2026	+2	+0	0	#8
Sat, Sep 5, 2026	+1	+1	0	#18
Sun, Sep 6, 2026	+1	+0	0	#24
Mon, Sep 7, 2026	+0	+1	10	#19
Tue, Sep 8, 2026	+0	+0	3	Not trending
Wed, Sep 9, 2026	+3	+1	6	#1
Thu, Sep 10, 2026	+1	+3	6	#3
Fri, Sep 11, 2026	+0	+1	4	#19
Sat, Sep 12, 2026	+1	+0	0	#12
Sun, Sep 13, 2026	+2	+0	0	#3
Mon, Sep 14, 2026	+1	+0	3	#11
Tue, Sep 15, 2026	+0	+1	3	Not trending
Wed, Sep 16, 2026	+0	+0	4	Not trending
Thu, Sep 17, 2026	+1	+0	4	#10
Fri, Sep 18, 2026	+4	+1	11	#2
Sat, Sep 19, 2026	+0	+0	0	Not trending
Sun, Sep 20, 2026	+1	+0	0	#19
Mon, Sep 21, 2026	+2	+0	7	#7
Tue, Sep 22, 2026	+0	+0	1	Not trending
Wed, Sep 23, 2026	+4	+0	0	#2
Thu, Sep 24, 2026	+1	+0	2	#15
Fri, Sep 25, 2026	+1	+0	5	#17
Sat, Sep 26, 2026	+2	+0	0	#3
Sun, Sep 27, 2026	+1	+1	0	#22
Mon, Sep 28, 2026	+1	+0	6	#17
Tue, Sep 29, 2026	+0	+0	2	Not trending
Wed, Sep 30, 2026	+0	+0	0	Not trending
Thu, Oct 1, 2026	+2	+0	4	#3
Fri, Oct 2, 2026	+1	+0	2	#15
Sat, Oct 3, 2026	+2	+0	0	#5
Sun, Oct 4, 2026	+0	+0	0	Not trending
Mon, Oct 5, 2026	+0	+0	2	Not trending
Tue, Oct 6, 2026	+0	+1	0	Not trending
Wed, Oct 7, 2026	+0	+0	1	Not trending
Thu, Oct 8, 2026	+2	+0	2	#5
Fri, Oct 9, 2026	+1	+0	1	#15
Sat, Oct 10, 2026	No figure	No figure	No figure	Not trending
Sun, Oct 11, 2026	No figure	No figure	No figure	Not trending
Mon, Oct 12, 2026	+1	+0	0	Not trending
Total	+54	+19	136

#1 on the list
Rank that day
Not trending

Momentum

Activity and trending

Achievements

Trendshift Trending

Daily

Weekly

Monthly

You might also like

You might also like

Z3Prover/z3

FStarLang/FStar

leanprover-community/mathlib4

lean-dojo/LeanCopilot

leanprover/lean4

agda/agda

dafny-lang/dafny

HoTT/Coq-HoTT

anthropics/fermats-last-theorem