Coq

A formal proof management system

Rank

649 74

Git Repositories

coq

Started

1999-08-16 9,356 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 85 commits #646 7 contributors #1,020
Past 90 days 418 commits #441 15 contributors #961
Past 365 days 1,746 commits #442 59 contributors #677
Past 1095 days 4,984 commits #535 124 contributors #869
All time 35,708 commits 318 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 Bruno Barras 0 0 0 0 210
24 Jasper Hugunin 0 0 0 0 188
25 Andres Erbsen 0 2 20 38 38
26 Yann Leray 0 0 7 53 53
27 Clément Pit--Claudel 0 0 0 0 173
28 Rodolphe Lepigre 0 0 1 56 56
29 Jan-Oliver Kaiser 1 6 15 29 34
30 Julien Forest 0 0 0 0 164
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 318 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)