Programming languages used in this repository
-
OCaml
54.2 %
-
Coq
40.05 %
-
C
1.63 %
-
Makefile
1.24 %
-
Isabelle
0.91 %
Commit statistics for 5214043f1ffcdeabb2e4d23f8d6d39a44df0f084 Oct 11 - Apr 23
- Total: 2000 commits
- Average per day: 3.6 commits
- Authors: 24
Commits per day of month
Commits per weekday
Commits per day hour (UTC)