- Rank
-
574
Decreased by 83
- Git Repositories
- coq
- Started
- 1999-08-16 9,229 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,859 #1,794
- 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 69 #689 9 #826 90 316 #534 22 #696 365 1,635 #483 63 #655 1095 5,009 #538 120 #895 All time 34,980 308 - 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 17 56 56 25 Andres Erbsen 5 10 19 32 32 26 Bruno Barras 0 0 0 0 210 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)