- Rank
-
590
Decreased by 128
- Git Repositories
- coq
- Started
- 1999-08-16 9,037 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,614 #1,786
- Stackoverflow Questions with tag coq
- 2,927 #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 50 #901 9 #872 90 317 #597 28 #576 365 1,462 #580 65 #694 1095 5,122 #528 116 #924 All time 34,005 292 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 21 Yann Leray 0 8 46 46 46 22 Matej Košík 0 0 0 0 290 23 Pierre Rousselin 0 1 42 47 47 24 Stephane Glondu 0 0 0 0 253 25 Bruno Barras 0 0 0 0 210 26 Jasper Hugunin 0 0 0 0 188 27 Clément Pit--Claudel 0 0 0 3 173 28 Lasse Blaauwbroek 0 0 10 41 66 29 Frédéric Besson 0 0 2 22 117 30 Julien Forest 0 0 0 0 164 31 Andres Erbsen 4 7 15 22 22 32 Pierre Courtieu 0 0 0 0 138 33 Michael Soegtrop 0 0 1 9 103 33 Olivier Laurent 0 0 0 24 76 35 Tanaka Akira 0 0 1 22 66 36 Andres Erbsen 2 2 3 24 31 37 Yves Bertot 0 0 0 0 103 38 Matthias Puech 0 0 0 0 91 39 quarkcool 0 0 15 15 15 39 Anton Danilkin 0 9 9 9 9 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)