- Rank
-
552
Decreased by 66
- Git Repositories
- coq
- Started
- 1999-08-16 9,230 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,859 #1,793
- Stackoverflow Questions with tag coq
- 2,981 #340
- Weekly commits since inception
-
1999 2011 2024 1999 2011 2024 - Weekly contributors since inception
-
1999 2011 2024 1999 2011 2024 - Recent Project Activity
-
Day Span Commits Contributors 30 61 #749 10 #743 90 319 #531 23 #661 365 1,630 #483 64 #647 1095 4,999 #538 121 #889 All time 34,983 309 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 21 Matej Košík 0 0 0 0 290 22 Yann Leray 0 3 32 53 53 23 Stephane Glondu 0 0 0 0 253 24 Rodolphe Lepigre 0 0 16 56 56 25 Bruno Barras 0 0 0 0 210 26 Andres Erbsen 2 10 19 32 32 27 Jasper Hugunin 0 0 0 0 188 28 Clément Pit--Claudel 0 0 0 0 173 29 Julien Forest 0 0 0 0 164 30 Frédéric Besson 0 1 1 15 118 31 Lasse Blaauwbroek 0 0 1 41 66 32 chironsylvain 0 0 18 32 32 33 Jan-Oliver Kaiser 0 4 19 22 26 34 Michael Soegtrop 1 2 2 9 105 35 Pierre Courtieu 0 0 0 0 138 36 Olivier Laurent 0 0 0 23 76 37 Yves Bertot 0 0 0 0 103 38 Andres Erbsen 0 1 3 25 32 39 Matthias Puech 0 0 0 0 91 40 Erik Martin-Dorel 0 0 2 4 71 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)