Programming languages used in this repository
-
Coq
99.84 %
-
Makefile
0.16 %
Commit statistics for 2b29e58067728852a069c591f0dd1493da8cb546 Aug 27 - May 26
- Total: 359 commits
- Average per day: 0.4 commits
- Authors: 14
Commits per day of month
Commits per weekday
Commits per day hour (UTC)