GitStats - mathlib

Project name
mathlib
Generated
2020-05-10 02:07:39 (in 6 seconds)
Generator
GitStats (version 2015.10.03), git version 2.26.2, gnuplot 5.2 patchlevel 2
Report Period
2017-07-21 08:02:10 to 2020-05-09 23:30:16
Age
1024 days, 761 active days (74.32%)
Total Files
866
Total Lines of Code
266129 (432506 added, 166377 removed)
Total Commits
3158 (average 4.1 commits per active day, 3.1 per all days)
Authors
85 (average 37.2 commits per author)