Programming languages used in this repository
-
OCaml
54.84 %
-
Coq
39.22 %
-
C
1.6 %
-
Makefile
1.26 %
-
Isabelle
0.9 %
Commit statistics for 92dd9a78d6c40f80ca3b9b37e8c8184261060ea3 Dec 10 - Apr 05
- Total: 2000 commits
- Average per day: 2.4 commits
- Authors: 23
Commits per day of month
Commits per weekday
Commits per day hour (UTC)