Coq

A formal proof management system

started in 1999
36,208 commits
339 contributors

Rank

412 33

Git Repositories

coq

Started

1999-08-16 9,451 days ago

Alternatives to

Wolfram Alpha Pro

GitHub Stars

4,936 #1,818

Weekly commits since inception

1999 2012 2025

Weekly contributors since inception

1999 2012 2025

Recent Project Activity

Time Period Commits Contributors
Past 30 days 121 commits #456 14 contributors #562
Past 90 days 395 commits #426 31 contributors #442
Past 365 days 1,724 commits #436 68 contributors #575
Past 1095 days 5,091 commits #510 143 contributors #748
All time 36,208 commits 339 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
45 198 873 1,987 4,020
16 72 289 965 5,945
0 0 39 538 6,059
0 0 0 34 2,434
1 7 11 107 1,987
0 3 17 32 1,913
3 4 30 115 1,606
10 17 207 321 554
2 2 23 71 1,541
0 0 0 0 1,666
0 0 4 64 544
23 32 46 101 101
0 0 3 29 559
0 0 0 0 558
0 0 0 0 438
0 0 11 47 295
0 0 0 0 405
0 0 0 0 352
0 0 0 0 331
0 0 0 0 290
Showing 1 to 20 of 339 results

Contributing Companies

Add the OSSRank badge to this project

OSSRank Badge Add this OSSRank shield to your project's README.md
[![OSSRank](https://shields.io/endpoint?url=https://ossrank.com/shield/2467)](https://ossrank.com/p/2467)