- Rank
-
554
Decreased by 71
- Git Repositories
- coq
- Started
- 1999-08-16 9,230 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 #752 10 #751 90 319 #532 23 #666 365 1,630 #483 64 #648 1095 4,999 #538 121 #890 All time 34,983 309 - Contributing Individuals
-
Commits past X days Contributor 30 90 365 1095 All 41 Christine Paulin 0 0 0 0 82 42 Yann Régis-Gianas 0 0 0 0 79 43 Julien Narboux 0 0 0 0 77 44 Elie Soubiran 0 0 0 0 76 45 Rodolphe Lepigre 0 0 11 14 14 46 Tanaka Akira 0 0 0 4 66 47 Andrej Dudenhefner 0 1 3 16 25 48 Vincent Gross 0 0 0 0 68 49 Paul Steckler 0 0 0 0 67 50 Xavier Clerc 0 0 0 0 61 51 Quentin Vermande 0 0 10 10 10 52 Kazuhiko Sakaguchi 0 0 2 5 42 53 Tej Chajed 0 0 0 0 56 53 David Delahaye 0 0 0 0 56 55 Lionel Elie Mamane 0 0 0 0 55 55 Ralf Jung 0 0 2 5 39 57 Anton Danilkin 0 0 9 9 9 58 Ramkumar Ramachandra 0 0 1 16 17 59 Laurent Théry 0 0 1 1 46 60 Karl Palmskog 0 0 0 16 18 - Contributing Companies
-
Add this OSSRank shield to this project's README.md
[](https://ossrank.com/p/2467)