Ecosystems:
VS Code Extension,
Coq
Commit Statistics
Past Year
All Time
Total Commits
312
648
Total Committers
26
37
Avg. Commits Per Committer
12.0
17.51
Bot Commits
9
16
Badges
Extracted from project README
