Programming languages used in this repository
-
OCaml
55.25 %
-
Coq
38.83 %
-
C
1.58 %
-
Makefile
1.26 %
-
Isabelle
0.89 %
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)