Programming languages used in this repository
-
Coq
99.69 %
-
Python
0.24 %
-
Shell
0.08 %
Commit statistics for master Jul 29 - Jul 02
- Total: 477 commits
- Average per day: 0.3 commits
- Authors: 11
Commits per day of month
Commits per weekday
Commits per day hour (UTC)