Coq

A formal proof management system

started in 1999
35,886 commits
328 contributors

Rank

463 56

Git Repositories

coq

Started

1999-08-16 9,391 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 100 commits #524 14 contributors #539
Past 90 days 386 commits #486 24 contributors #636
Past 365 days 1,738 commits #440 67 contributors #605
Past 1095 days 5,017 commits #525 134 contributors #801
All time 35,886 commits 328 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
0 0 0 0 6
0 0 0 2 2
0 0 0 2 2
0 0 1 1 1
0 0 1 1 1
0 0 1 1 1
0 0 1 1 1
0 0 1 1 1
0 0 1 1 1
0 0 1 1 1
149 felixL-K
0 0 1 1 1
0 0 1 1 1
0 0 1 1 1
0 0 0 0 5
0 0 0 0 5
0 0 0 0 5
0 0 0 0 5
0 0 0 0 5
0 0 0 0 4
0 0 0 1 2
Showing 161 to 180 of 328 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)