- Rank
-
482
Decreased by 10
- Git Repositories
- coq
- Started
- 1999-08-16 9,260 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,880 #1,801
- Stackoverflow Questions with tag coq
- 2,981 #341
- 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 97 #509 12 #623 90 399 #439 23 #641 365 1,756 #445 66 #633 1095 4,960 #542 124 #875 All time 35,210 314 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 1 Gaëtan Gilbert 73 185 630 1,621 3,469 2 Pierre-Marie Pédrot 3 75 288 1,013 5,768 3 Hugo Herbelin 0 11 280 617 6,054 4 Maxime Dénès 0 0 0 45 2,434 5 Emilio Jesús Gallego Arias 1 4 33 125 1,980 6 Matthieu Sozeau 0 0 5 34 1,897 7 Pierre Roux 4 70 181 320 487 8 Enrico Tassi 4 6 31 111 1,537 9 Théo Zimmermann 1 6 8 99 1,582 10 Pierre Letouzey 0 0 0 0 1,666 11 Jason Gross 0 0 10 68 540 12 Guillaume Melquiond 0 0 12 36 558 13 Arnaud Spiwack 0 0 0 0 558 14 Jim Fehrle 0 8 16 77 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 115 167 18 Pierre Rousselin 0 0 50 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)