- Rank
-
544
Decreased by 62
- 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 #759 11 #683 90 321 #537 23 #675 365 1,626 #486 64 #650 1095 4,984 #538 121 #890 All time 34,985 309 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 228 Rin Arakaki 0 0 0 0 2 228 Leonidas Lampropoulos 0 0 0 0 2 228 Larry Darryl Lee Jr. 0 0 0 0 2 244 Anders Kaseorg 0 0 0 0 1 244 Jim Apple 0 0 0 0 1 244 Fabian Ruch 0 0 0 0 1 244 Benjamin Barenblat 0 0 0 0 1 244 Bernhard M. Wiedemann 0 0 0 0 1 244 Frédéric Chapoton 0 0 0 0 1 244 Ismail S 0 0 0 0 1 244 Kamil Trzciński 0 0 0 0 1 244 Li Yao 0 0 0 0 1 244 Léo Andrès 0 0 0 0 1 244 Nikita Eshkeev 0 0 0 0 1 244 Peter LeFanu Lumsdaine 0 0 0 0 1 244 Ricky Elrod 0 0 0 0 1 244 Ryan Scott 0 0 0 0 1 244 Samuel Lelièvre 0 0 0 0 1 244 Shachar Itzhaky 0 0 0 0 1 244 Simon Friis Vindum 0 0 0 0 1 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)