Programming languages used in this repository
-
OCaml
55.23 %
-
Coq
38.85 %
-
C
1.58 %
-
Makefile
1.26 %
-
Isabelle
0.89 %
Commit statistics for ee43003597cbd6268a355ddf03bb8730fa934c1c Nov 10 - Mar 08
- Total: 2000 commits
- Average per day: 2.4 commits
- Authors: 22
Commits per day of month
Commits per weekday
Commits per day hour (UTC)