Coq

A formal proof management system

Math
started in 1999
36,301 commits
344 contributors

Rank

408 9

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 #501 15 contributors #478
Past 90 days 347 commits #468 31 contributors #456
Past 365 days 1,652 commits #456 71 contributors #556
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
21 Stephane Glondu
0 0 0 0 253
22 Ali Caglayan
0 0 0 30 167
23 Yann Leray
0 3 10 60 60
24 Bruno Barras
0 0 0 0 210
25 Jasper Hugunin
0 0 0 0 188
26 Clément Pit--Claudel
0 0 0 0 173
27 Rodolphe Lepigre
0 0 0 56 56
28 Julien Forest
0 0 0 0 164
29 Andres Erbsen
0 0 16 38 38
30 Lasse Blaauwbroek
0 0 0 41 66
31 Pierre Courtieu
0 0 0 0 138
32 Jan-Oliver Kaiser
0 0 14 30 35
33 Frédéric Besson
0 0 2 5 119
34 Michael Soegtrop
0 0 2 4 105
35 chironsylvain
0 0 3 32 32
36 Yves Bertot
0 0 0 0 103
37 Dario Halilovic
1 3 13 13 13
38 Olivier Laurent
0 0 0 9 76
39 Matthias Puech
0 0 0 0 91
40 Tanaka Akira
0 0 3 6 69
Showing 21 to 40 of 344 results
Previous Next

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)