Programming languages used in this repository
-
OCaml
55.23 %
-
Coq
38.85 %
-
C
1.58 %
-
Makefile
1.26 %
-
Isabelle
0.89 %
Commit statistics for eb9e7a58340e3273f9127987aab6f90f517bda95 Oct 12 - Apr 25
- Total: 2000 commits
- Average per day: 3.6 commits
- Authors: 24
Commits per day of month
Commits per weekday
Commits per day hour (UTC)