Language Statistics

coq

Earliest usage tracked by Open Hub: May 1997

Total Lines

6,344,841

Code

4,900,745

Comments

505,048 (9.3%)

Projects 328 Contributors 799 Commits 26,446

Recently Active Contributors

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

KudoRank 8
8f55a6b2bd66d75384b77cd98ec8185d?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
1. Ben Lippmeier
1 commit