- Rank
-
486
Decreased by 37
- Git Repositories
- coq
- Started
- 1999-08-16 9,290 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,903 #1,809
- Stackoverflow Questions with tag coq
- 2,981 #341
- Weekly commits since inception
-
1999 2012 2025 1999 2012 2025 - Weekly contributors since inception
-
1999 2012 2025 1999 2012 2025 - Recent Project Activity
-
Day Span Commits Contributors 30 88 #450 9 #702 90 329 #477 23 #613 365 1,810 #433 66 #625 1095 4,969 #540 126 #861 All time 35,350 316 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 1 Gaëtan Gilbert 22 173 666 1,655 3,523 2 Pierre-Marie Pédrot 16 46 296 987 5,787 3 Hugo Herbelin 0 11 260 586 6,058 4 Maxime Dénès 0 0 0 43 2,434 5 Emilio Jesús Gallego Arias 0 3 31 124 1,980 6 Pierre Roux 32 40 217 355 523 7 Matthieu Sozeau 0 0 5 25 1,897 8 Théo Zimmermann 9 10 17 107 1,591 9 Enrico Tassi 1 6 27 107 1,538 10 Pierre Letouzey 0 0 0 0 1,666 11 Jason Gross 0 0 6 67 540 12 Guillaume Melquiond 0 0 12 36 559 13 Arnaud Spiwack 0 0 0 0 558 14 Jim Fehrle 0 1 16 75 295 15 Pierre Boutillier 0 0 0 0 438 16 Jean-Christophe Filliâtre 0 0 0 0 405 17 Ali Caglayan 0 0 0 113 167 18 Jean-Marc Notin 0 0 0 0 352 19 Vincent Laporte 0 0 0 0 331 20 Pierre Rousselin 0 0 40 69 69 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)