Coq

A formal proof management system

started in 1999
35,998 commits
335 contributors

Rank

455 53

Git Repositories

coq

Started

1999-08-16 9,415 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 84 commits #573 11 contributors #645
Past 90 days 364 commits #488 29 contributors #515
Past 365 days 1,737 commits #435 71 contributors #564
Past 1095 days 5,052 commits #515 141 contributors #751
All time 35,998 commits 335 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
0 0 0 0 253
0 0 15 69 69
0 4 10 57 57
0 0 0 0 210
0 0 0 0 188
0 0 0 0 173
0 0 1 56 56
0 0 0 0 164
0 0 16 38 38
0 0 0 41 66
0 0 0 0 138
0 1 14 29 34
0 0 2 5 119
2 11 11 11 11
0 0 2 4 105
0 0 6 32 32
0 0 0 0 103
0 0 0 9 76
0 0 3 7 69
0 0 0 0 91
Showing 21 to 40 of 335 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)