- Rank
-
561
Decreased by 103
- Git Repositories
- coq
- Started
- 1999-08-16 9,022 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,603 #1,781
- Stackoverflow Questions with tag coq
- 2,921 #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 82 #672 9 #874 90 386 #514 28 #589 365 1,451 #592 65 #703 1095 5,167 #523 116 #926 All time 33,949 292 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 1 Pierre-Marie Pédrot 29 88 186 1,353 5,581 2 Gaëtan Gilbert 26 140 546 1,461 3,017 3 Hugo Herbelin 16 66 251 623 5,863 4 Maxime Dénès 0 0 13 47 2,434 5 Emilio Jesús Gallego Arias 1 3 25 170 1,949 6 Théo Zimmermann 0 0 23 164 1,574 7 Matthieu Sozeau 0 0 0 34 1,892 8 Enrico Tassi 0 0 13 131 1,509 9 Pierre Letouzey 0 0 0 0 1,666 10 Pierre Roux 0 13 66 182 322 11 Jason Gross 0 6 44 74 540 12 Guillaume Melquiond 3 5 9 41 552 13 Arnaud Spiwack 0 0 0 0 558 14 Ali Caglayan 0 0 0 164 167 15 Jim Fehrle 0 0 1 87 278 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 Yann Leray 1 13 46 46 46 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)