Language Statistics

coq

Earliest usage tracked by Open Hub: July 1999

Total Lines

133,166,436

Code

29,785,863

Comments

24,067,502 (44.7%)

Projects 335 Contributors 901 Commits 31,345

Recently Active Contributors

Accounts with the most commits in coq between May 2018 and Jul 2018 as measured by Open Hub.

KudoRank 8
47d998277b460e8e10be447a00dc6cb3?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
1. jamieiles
2 commits
KudoRank 7
1e56be82079f4da6a8d8235f5595d8d6?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
2. Olof Kindgren
1 commit