Language Statistics

coq

Earliest usage tracked by Open Hub: July 1999

Total Lines

240,280,391

Code

55,866,376

Comments

44,083,447 (44.1%)

Projects 379 Contributors 1,079 Commits 38,283

Recently Active Contributors

Accounts with the most commits in coq between Apr 2019 and Jun 2019 as measured by Open Hub.

KudoRank 9
00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
1. Guillaume Melquiond
2 commits
KudoRank 8
1e56be82079f4da6a8d8235f5595d8d6?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
2. Olof Kindgren
2 commits