Language Statistics

coq

Earliest usage tracked by Open Hub: March 2004

Total Lines

339,497,972

Code

110,231,265

Comments

54,220,638 (33.0%)

Projects 459 Contributors 2,487 Commits 81,528

Recently Active Contributors

Accounts with the most commits in coq between Jan 2024 and Mar 2024 as measured by Open Hub.

KudoRank 9
1. Olof Kindgren
8 commits
KudoRank 1
2. Stephen Williams
3 commits