Coq

A formal proof management system

started in 1999
35,818 commits
325 contributors

Rank

455 129

Git Repositories

coq

Started

1999-08-16 9,378 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 109 commits #499 15 contributors #486
Past 90 days 415 commits #456 22 contributors #698
Past 365 days 1,717 commits #445 64 contributors #638
Past 1095 days 5,007 commits #525 131 contributors #818
All time 35,818 commits 325 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
1 1 1 3 8
0 0 1 3 17
0 0 0 0 25
0 0 0 0 25
0 0 4 4 4
0 0 0 8 8
0 0 4 4 4
0 0 0 0 24
0 0 4 4 4
0 0 4 4 4
0 0 4 4 4
92 Zeimer
0 0 0 0 22
0 0 0 0 22
0 0 1 1 15
0 0 0 0 20
0 0 0 0 20
0 0 0 0 19
0 0 0 0 19
0 0 0 0 18
0 0 0 4 10
Showing 81 to 100 of 325 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)