- Rank
-
558
Decreased by 74
- 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 #756 10 #753 90 319 #534 23 #670 365 1,630 #484 64 #650 1095 4,999 #538 121 #890 All time 34,983 309 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 80 Benjamin Grégoire 0 0 0 0 25 82 Cyril Cohen 0 0 0 3 18 82 Anton Trunov 0 0 0 0 24 82 tomaz1502 0 0 4 4 4 82 Arya-Elfren 0 0 4 4 4 82 Davide Fissore 0 0 4 4 4 87 Florent Kirchner 0 0 0 0 22 87 Zeimer 0 0 0 0 22 89 Rudi Grinberg 0 0 0 7 7 90 Loïc Pottier 0 0 0 0 20 90 Ana Borges 0 0 0 5 10 90 anonymous 0 0 0 0 20 93 Russell O'Connor 0 0 0 0 19 93 Nickolai Zeldovich 0 0 0 0 19 95 Claude Marché 0 0 0 0 18 95 Romain Tetley 0 0 3 3 3 95 Gregory Malecha 0 0 0 0 18 98 whonore 0 0 0 5 7 99 Kenji Maillard 0 0 0 0 16 100 Jean Abou Samra 1 1 1 1 1 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)