Coq

A formal proof management system

started in 1999
36,110 commits
337 contributors

Rank

413 30

Git Repositories

coq

Started

1999-08-16 9,435 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 89 commits #531 13 contributors #550
Past 90 days 397 commits #436 34 contributors #442
Past 365 days 1,720 commits #435 71 contributors #558
Past 1095 days 5,078 commits #507 142 contributors #753
All time 36,110 commits 337 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
30 213 857 1,959 3,974
18 70 287 953 5,929
0 0 61 538 6,059
0 0 0 36 2,434
0 6 11 110 1,986
0 3 17 38 1,913
0 5 27 112 1,603
7 16 209 326 549
0 0 24 69 1,539
0 0 0 0 1,666
0 0 4 65 544
0 0 3 29 559
0 0 0 0 558
15 15 29 84 84
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 69 167
Showing 1 to 20 of 337 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)