Coq

A formal proof management system

started in 1999
36,301 commits
344 contributors

Rank

410 10

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 #510 15 contributors #485
Past 90 days 347 commits #468 31 contributors #457
Past 365 days 1,652 commits #458 71 contributors #555
Past 1095 days 5,125 commits #506 146 contributors #723
All time 36,301 commits 344 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
0 0 1 24 32
0 0 0 0 82
0 0 1 3 72
0 0 0 0 79
0 0 0 0 77
0 0 0 0 76
0 0 0 0 68
0 0 0 0 67
0 6 7 7 7
0 0 0 0 61
0 0 0 0 56
0 0 0 0 56
0 0 0 0 55
0 0 0 16 18
0 0 0 4 42
0 0 0 0 49
0 0 3 13 13
0 0 0 1 46
0 0 8 8 8
0 0 0 4 39
Showing 41 to 60 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)