Coq

A formal proof management system

started in 1999
35,903 commits
329 contributors

Rank

461 2

Git Repositories

coq

Started

1999-08-16 9,394 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 79 commits #617 14 contributors #517
Past 90 days 379 commits #491 24 contributors #634
Past 365 days 1,745 commits #439 68 contributors #600
Past 1095 days 5,015 commits #522 135 contributors #785
All time 35,903 commits 329 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
35 254 815 1,917 3,873
11 50 285 941 5,884
0 0 120 538 6,059
0 0 0 37 2,434
0 0 23 114 1,980
3 8 21 39 1,913
0 6 29 119 1,603
6 10 211 320 539
0 1 28 70 1,539
0 0 0 0 1,666
0 0 4 66 544
0 0 3 30 559
0 0 0 0 558
0 0 15 53 295
0 0 0 0 438
0 0 0 0 405
0 0 0 0 352
0 0 0 83 167
0 0 0 0 331
0 0 0 0 290
Showing 1 to 20 of 329 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)