Programming languages used in this repository
-
Coq
99.8 %
-
Makefile
0.2 %
Commit statistics for cbf8a057537444c399cf76a5f059f7c587d977ff Jun 11 - May 08
- Total: 833 commits
- Average per day: 0.3 commits
- Authors: 18
Commits per day of month
Commits per weekday
Commits per day hour (UTC)