- Rank
-
586
Decreased by 127
- Git Repositories
- coq
- Started
- 1999-08-16 9,038 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,614 #1,787
- Stackoverflow Questions with tag coq
- 2,927 #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 50 #904 9 #874 90 317 #596 28 #577 365 1,462 #580 65 #694 1095 5,122 #528 116 #924 All time 34,005 292 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 1 Pierre-Marie Pédrot 11 51 185 1,328 5,590 2 Gaëtan Gilbert 25 131 531 1,465 3,033 3 Hugo Herbelin 3 57 261 622 5,873 4 Maxime Dénès 0 0 13 47 2,434 5 Emilio Jesús Gallego Arias 1 6 28 162 1,952 6 Matthieu Sozeau 0 0 0 34 1,892 7 Théo Zimmermann 0 0 23 158 1,574 8 Enrico Tassi 0 0 12 126 1,509 9 Pierre Letouzey 0 0 0 0 1,666 10 Pierre Roux 0 5 66 181 322 11 Jason Gross 0 6 44 71 540 12 Guillaume Melquiond 0 4 8 41 552 13 Arnaud Spiwack 0 0 0 0 558 14 Ali Caglayan 0 0 0 164 167 15 Jim Fehrle 1 1 2 81 279 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 0 331 20 Rodolphe Lepigre 0 1 53 53 53 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)