Programming languages used in this repository
-
Python
54.66 %
-
Makefile
32.9 %
-
Coq
12.44 %
Commit statistics for master Oct 31 - Nov 12
- Total: 83 commits
- Average per day: 0.2 commits
- Authors: 7
Commits per day of month
Commits per weekday
Commits per day hour (UTC)