- Rank
-
543
Decreased by 61
- Git Repositories
- coq
- Started
- 1999-08-16 9,231 days ago
- Categories
- Math
- Alternatives to
- Wolfram Alpha Pro
- GitHub Stars
- 4,859 #1,793
- Stackoverflow Questions with tag coq
- 2,981 #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 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 141 Lennart Jablonka 0 0 1 1 1 141 Benny Smit 0 0 1 1 1 141 Andres Erbsen 0 0 1 1 1 164 Nick Lewycky 0 0 0 0 5 164 Arthur Azevedo de Amorim 0 0 0 0 5 164 Judicaël Courant 0 0 0 0 5 164 Attila Gáspár 0 0 0 0 5 164 Quentin Carbonneaux 0 0 0 0 5 169 Jacques-Henri Jourdan 0 0 0 0 4 169 Kartik Singhal 0 0 0 1 2 169 Valentin Robert 0 0 0 1 2 169 Guillaume Claret 0 0 0 0 4 169 Beta Ziliani 0 0 0 0 4 169 Christian Doczkal 0 0 0 0 4 169 Clément Renard 0 0 0 0 4 169 Hendrik Tews 0 0 0 0 4 169 Lars Rasmusson 0 0 0 0 4 169 Rudy Peterson 0 0 0 1 2 169 Tom Hutchinson 0 0 0 0 4 180 Jerry James 0 0 0 1 1 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)