Programming languages used in this repository
-
OCaml
55.3 %
-
Coq
38.78 %
-
C
1.58 %
-
Makefile
1.26 %
-
Isabelle
0.89 %
Commit statistics for 86a95cbe6c7705435e49b2c4f7c4407d72e6443a Nov 03 - Feb 22
- Total: 2000 commits
- Average per day: 2.4 commits
- Authors: 22
Commits per day of month
Commits per weekday
Commits per day hour (UTC)