Programming languages used in this repository
-
OCaml
55.23 %
-
Coq
38.85 %
-
C
1.58 %
-
Makefile
1.26 %
-
Isabelle
0.89 %
Commit statistics for c292a2c15d760912a2e089bbd2a1502287a8bb6e Dec 20 - Oct 11
- Total: 2000 commits
- Average per day: 3.0 commits
- Authors: 26
Commits per day of month
Commits per weekday
Commits per day hour (UTC)