Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
-
Coq
99.36 %
-
Makefile
0.64 %
Commit statistics for 8bd175800e344ae302bf7d79788674c5bcbf9c15 Apr 20 - Mar 16
- Total: 403 commits
- Average per day: 1.2 commits
- Authors: 6
Commits per day of month
Commits per weekday
Commits per day hour (UTC)