- Rank
-
527
Decreased by 29
- Git Repositories
- coq
- Started
- 1999-08-16 9,210 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,836 #1,794
- Stackoverflow Questions with tag coq
- 2,977 #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 143 #380 10 #774 90 288 #617 21 #749 365 1,704 #470 63 #667 1095 5,088 #534 119 #905 All time 34,931 306 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 1 Pierre-Marie Pédrot 50 69 280 1,167 5,740 2 Gaëtan Gilbert 54 119 608 1,607 3,354 3 Hugo Herbelin 7 22 311 649 6,052 4 Maxime Dénès 0 0 0 47 2,434 5 Emilio Jesús Gallego Arias 0 1 43 121 1,976 6 Matthieu Sozeau 0 1 5 35 1,897 7 Enrico Tassi 0 1 26 131 1,532 8 Théo Zimmermann 4 5 7 107 1,581 9 Pierre Letouzey 0 0 0 0 1,666 10 Pierre Roux 13 34 97 220 387 11 Jason Gross 0 0 18 68 540 12 Guillaume Melquiond 0 0 12 37 558 13 Arnaud Spiwack 0 0 0 0 558 14 Jim Fehrle 3 8 13 84 292 15 Pierre Boutillier 0 0 0 0 438 16 Jean-Christophe Filliâtre 0 0 0 0 405 17 Ali Caglayan 0 0 0 117 167 18 Pierre Rousselin 0 3 55 69 69 19 Jean-Marc Notin 0 0 0 0 352 20 Vincent Laporte 0 0 0 0 331 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)