Language Statistics

coq

Earliest usage tracked by Open Hub: September 2001

Total Lines

330,249,316

Code

102,967,318

Comments

53,691,980 (34.3%)

Projects 483 Contributors 1,795 Commits 65,966

Recently Active Contributors

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

KudoRank 1
A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
1. Claude Marché
1 commit