Language Statistics

coq

Earliest usage tracked by Open Hub: January 2003

Total Lines

343,361,974

Code

111,857,153

Comments

54,581,737 (32.8%)

Projects 517 Contributors 2,445 Commits 85,107

Recently Active Contributors

Accounts with the most commits in coq between Sep 2023 and Nov 2023 as measured by Open Hub.

KudoRank 1
1. Stephen Williams
11 commits
KudoRank 2
2. teverett
2 commits
KudoRank 9
3. Olof Kindgren
2 commits