- Rank
-
574
Decreased by 84
- Git Repositories
- coq
- Started
- 1999-08-16 9,230 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 #688 9 #826 90 316 #535 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 60 Karl Palmskog 0 0 0 16 18 62 Evgeny Makarov 0 0 0 0 49 63 Mario Frank 0 0 8 8 8 64 Pierre Corbineau 0 0 0 0 46 64 Amin Timany 0 0 0 0 46 66 quarkcool 0 0 0 15 15 67 Paolo G. Giarrusso 0 0 0 11 22 68 samuelgruetter 0 0 0 9 24 69 Yishuai Li 0 0 0 1 38 70 Stefan Haan 0 0 1 11 12 71 Cyprien Mangin 0 0 0 0 35 72 Vincent Semeria 0 0 0 0 34 73 Simon Boulier 0 0 0 0 32 74 Vincent Siles 0 0 0 0 31 75 Lucas Donati 0 0 5 5 5 75 Wojciech Karpiel 0 0 0 7 16 75 Siegmentation Fault 2 2 2 2 2 78 Claudio Sacerdoti Coen 0 0 0 0 27 79 Gabriel Scherer 0 1 1 2 15 80 Benjamin Grégoire 0 0 0 0 25 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)