Coq

A formal proof management system

started in 1999
36,301 commits
344 contributors

Rank

407 8

Git Repositories

coq

Started

1999-08-16 9,472 days ago

Alternatives to

Wolfram Alpha Pro

GitHub Stars

4,936 #1,816

Weekly commits since inception

1999 2012 2025

Weekly contributors since inception

1999 2012 2025

Recent Project Activity

Time Period Commits Contributors
Past 30 days 97 commits #498 15 contributors #471
Past 90 days 347 commits #468 31 contributors #458
Past 365 days 1,652 commits #456 71 contributors #556
Past 1095 days 5,125 commits #507 146 contributors #724
All time 36,301 commits 344 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
49 154 853 2,030 4,066
19 73 287 963 5,955
0 1 33 534 6,065
0 0 0 34 2,434
1 6 11 103 1,987
0 1 18 33 1,914
7 10 37 118 1,613
6 21 174 327 562
6 8 16 67 1,547
0 0 0 0 1,666
1 1 5 63 545
0 0 1 28 559
0 0 0 0 558
0 32 39 101 101
0 0 0 0 438
0 0 11 44 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 344 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)