Programming languages used in this repository
-
OCaml
54.87 %
-
Coq
39.42 %
-
C
1.61 %
-
Makefile
1.26 %
-
Isabelle
0.9 %
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)