Programming languages used in this repository
-
Coq
96.11 %
-
TeX
1.69 %
-
HTML
1.08 %
-
OCaml
0.83 %
-
Makefile
0.29 %
Commit statistics for d7fcf8b5afb4eddb2d7fe2c889e1735e8d1b1412 Aug 20 - Aug 17
- Total: 447 commits
- Average per day: 0.3 commits
- Authors: 2
Commits per day of month
Commits per weekday
Commits per day hour (UTC)