- Rank
-
540
Decreased by 49
- Git Repositories
- coq
- Started
- 1999-08-16 9,232 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,859 #1,793
- 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 61 #749 11 #679 90 317 #542 23 #670 365 1,626 #486 64 #649 1095 4,971 #538 121 #890 All time 34,985 309 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 244 Farzon Lotfi 0 0 0 0 1 244 Dabrowski 0 0 0 0 1 244 Frederic Peschanski 0 0 0 0 1 244 Grant Jurgensen 0 0 0 0 1 244 Simon Gregersen 0 0 0 0 1 244 Wang Zhuyang 0 0 0 0 1 244 Helge Bahmann 0 0 0 0 1 244 Ike Mulder 0 0 0 0 1 244 Isaac Oscar Gariano 0 0 0 0 1 244 James Lottes 0 0 0 0 1 244 James R. Wilcox 0 0 0 0 1 244 Juan Conejero 0 0 0 0 1 244 Karolin Varner 0 0 0 0 1 244 Lukasz Czajka 0 0 0 0 1 244 Michele Caci 0 0 0 0 1 244 Alexandre Miquel 0 0 0 0 1 244 Mirai IKEBUCHI 0 0 0 0 1 244 Olivier Marty 0 0 0 0 1 244 Sven M. Hallberg 0 0 0 0 1 244 Avi Shinnar 0 0 0 0 1 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)