- Rank
-
555
Decreased by 71
- 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 #754 10 #750 90 319 #533 23 #669 365 1,630 #484 64 #649 1095 4,999 #538 121 #890 All time 34,983 309 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 121 Ethan A. Kuefner 0 0 0 3 3 121 Carst Tankink 0 0 0 0 9 121 Sam Pablo Kuper 0 0 0 0 9 121 Armaël Guéneau 0 0 0 0 9 121 Marc Lasson 0 0 0 0 9 121 Jean-Francois Monin 0 0 0 0 9 121 Pierre Jouvelot 0 0 0 3 3 121 Micaela Mayero 0 0 0 0 9 121 Yishuai Li 0 0 0 3 3 121 Joachim Breitner 0 0 0 0 9 131 Abhishek Anand 0 0 0 0 8 131 Oliver Nash 0 0 0 0 8 131 William Lawvere 0 0 0 0 8 131 Isaac van Bakel 0 0 0 2 4 131 Talia Ringer 0 0 0 0 8 136 Ambroise Lafont 0 0 0 0 7 136 Andreas Lynge 0 0 0 0 7 136 Xavier Leroy 0 0 0 0 7 136 Sébastien Hinderer 0 0 0 0 7 136 Guillaume Munch-Maccagnoni 0 0 0 1 5 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)