- Rank
-
554
Decreased by 68
- Git Repositories
- coq
- Started
- 1999-08-16 9,230 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 #752 10 #748 90 319 #531 23 #664 365 1,630 #483 64 #648 1095 4,999 #538 121 #889 All time 34,983 309 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 100 Jean Abou Samra 1 1 1 1 1 100 Assia Mahboubi 0 0 0 0 15 100 remzi 0 0 0 5 5 104 mrmr1993 0 0 0 0 14 104 Yannick Forster 0 0 1 3 5 106 Bernhard Schommer 0 0 2 2 3 107 whitequark 0 0 0 0 12 107 drenched-moth 0 0 2 2 2 107 Anton Nikishaev 0 0 0 0 12 107 chluebi 0 0 2 2 2 107 Björn Brandenburg 0 0 2 2 2 107 Julien Puydt 0 0 2 2 2 113 Reynald Affeldt 0 0 0 2 7 113 Chantal Keller 0 0 0 3 5 115 Rodolphe Lepigre 0 1 1 1 1 115 Florent Hivert 0 1 1 1 1 115 Aleksandar Nanevski 0 1 1 1 1 115 Raphaël Monat 0 0 0 0 10 115 Martin Bodin 0 0 0 1 8 115 Columbus240 0 0 0 0 10 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)