Programming languages used in this repository
-
OCaml
54.87 %
-
Coq
39.42 %
-
C
1.61 %
-
Makefile
1.26 %
-
Isabelle
0.9 %
Commit statistics for 26ab95297637324adf0668c8a6e1b989aa9f4cd5 May 21 - Dec 27
- Total: 2000 commits
- Average per day: 2.1 commits
- Authors: 27
Commits per day of month
Commits per weekday
Commits per day hour (UTC)