Programming languages used in this repository
-
OCaml
55.3 %
-
Coq
38.78 %
-
C
1.58 %
-
Makefile
1.26 %
-
Isabelle
0.89 %
Commit statistics for 07d0e20d7bb34c2e7530f41c6e097310ae9de547 May 10 - Jun 22
- Total: 2000 commits
- Average per day: 4.9 commits
- Authors: 15
Commits per day of month
Commits per weekday
Commits per day hour (UTC)