- Rank
-
542
Decreased by 59
- Git Repositories
- coq
- Started
- 1999-08-16 9,231 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 #760 11 #685 90 321 #534 23 #674 365 1,626 #486 64 #650 1095 4,984 #538 121 #890 All time 34,985 309 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 141 Alexey Trilis 0 0 1 1 1 141 Fourchaux 0 0 0 0 6 141 Julin S 0 0 0 2 2 141 Tan Yee Jian 0 0 1 1 1 141 Nikolaos Chatzikonstantinou 0 0 1 1 1 141 Siddharth Bhat 0 0 0 0 6 141 Andreas Florath 0 0 1 1 1 141 Alec Faithfull 0 0 0 0 6 141 Olivier Desmettre 0 0 0 0 6 141 Fabian Kunze 0 0 0 0 6 141 Guillaume Bertholon 0 0 0 0 6 141 Johannes Kloos 0 0 0 0 6 141 Robbert Krebbers 0 0 0 1 4 141 Thomas Sibut-Pinote 0 0 0 0 6 141 David M. Cooke 0 0 1 1 1 141 Timur Aminev 0 0 1 1 1 141 lduboisd 0 0 1 1 1 141 Julien Puydt 0 0 1 1 1 141 Remyjck 0 0 1 1 1 141 Pierre Rousselin 0 0 1 1 1 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)