Language Statistics

coq

Earliest usage tracked by Open Hub: May 1997

Total Lines

6,349,397

Code

4,904,898

Comments

504,983 (9.3%)

Projects 326 Contributors 792 Commits 26,781

Recently Active Contributors

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

KudoRank 9
00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
1. Guillaume Melquiond
4 commits