Programming languages used in this repository
-
OCaml
52.91 %
-
Coq
46.18 %
-
Makefile
0.32 %
-
PHP
0.21 %
-
Standard ML
0.19 %
Commit statistics for 14b96621a05c2b1f31aa0675a935a1b90529a1ee Nov 05 - May 11
- Total: 840 commits
- Average per day: 0.7 commits
- Authors: 7
Commits per day of month
Commits per weekday
Commits per day hour (UTC)