- Rank
-
605
Decreased by 79
- Git Repositories
- coq
- Started
- 1999-08-16 8,882 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,430 #1,760
- Stackoverflow Questions with tag coq
- 2,881 #341
- Weekly commits since inception
-
1999 2011 2023 1999 2011 2023 - Weekly contributors since inception
-
1999 2011 2023 1999 2011 2023 - Recent Project Activity
-
Day Span Commits Contributors 30 68 #772 11 #759 90 293 #658 26 #679 365 1,466 #618 57 #801 1095 5,031 #553 110 #983 All time 33,213 276 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 1 Pierre-Marie Pédrot 10 22 275 1,398 5,463 2 Gaëtan Gilbert 32 131 593 1,278 2,782 3 Hugo Herbelin 6 40 174 526 5,710 4 Maxime Dénès 0 1 24 47 2,434 5 Emilio Jesús Gallego Arias 5 6 43 188 1,937 6 Théo Zimmermann 0 4 55 205 1,574 7 Matthieu Sozeau 0 0 8 43 1,892 8 Enrico Tassi 0 0 16 180 1,506 9 Pierre Letouzey 0 0 0 0 1,666 10 Pierre Roux 4 19 41 159 291 11 Jason Gross 2 7 28 64 523 12 Guillaume Melquiond 0 0 7 71 546 13 Jim Fehrle 0 1 14 118 278 14 Arnaud Spiwack 0 0 0 0 558 15 Ali Caglayan 0 0 4 161 164 16 Pierre Boutillier 0 0 0 0 438 17 Jean-Christophe Filliâtre 0 0 0 0 405 18 Jean-Marc Notin 0 0 0 0 352 19 Vincent Laporte 0 0 0 5 331 20 Matej Košík 0 0 0 0 290 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)