Programming languages used in this repository
-
Coq
98.72 %
-
Python
1.08 %
-
Makefile
0.2 %
Commit statistics for iris-3.0.0 Jan 19 - Jan 11
- Total: 2000 commits
- Average per day: 5 commits
- Authors: 14
Commits per day of month
Commits per weekday
Commits per day hour (UTC)