Coq

A formal proof management system

Rank

521 91

Git Repositories

coq

Started

1999-08-16 9,366 days ago

Categories

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

Past 30 days 116 commits #486 11 contributors #674
Past 90 days 471 commits #408 19 contributors #799
Past 365 days 1,734 commits #440 60 contributors #668
Past 1095 days 4,988 commits #532 127 contributors #849
All time 35,775 commits 321 contributors

Contributing Individuals

Commits past X days
30 90 365 1095 All
21 Pierre Rousselin 0 0 22 69 69
22 Stephane Glondu 0 0 0 0 253
23 Yann Leray 4 4 10 57 57
24 Bruno Barras 0 0 0 0 210
25 Jasper Hugunin 0 0 0 0 188
26 Andres Erbsen 0 1 20 38 38
27 Clément Pit--Claudel 0 0 0 0 173
28 Rodolphe Lepigre 0 0 1 56 56
29 Julien Forest 0 0 0 0 164
30 Jan-Oliver Kaiser 0 6 15 29 34
31 Lasse Blaauwbroek 0 0 0 41 66
32 Frédéric Besson 0 1 2 6 119
33 Pierre Courtieu 0 0 0 0 138
34 Michael Soegtrop 0 0 2 4 105
35 chironsylvain 0 0 7 32 32
36 Yves Bertot 0 0 0 0 103
37 Olivier Laurent 0 0 0 9 76
38 Tanaka Akira 0 0 3 7 69
39 Matthias Puech 0 0 0 0 91
40 Andres Erbsen 0 0 3 24 32
Showing 21 to 40 of 321 results Previous Next
Contributing Companies

Add this OSSRank shield to this project's README.md

[![OSSRank](https://shields.io/endpoint?url=https://ossrank.com/shield/2467)](https://ossrank.com/p/2467)