GitHub repository: leanprover-community/mathlib_stats
Primary language: Python
Created: 2020-04-29T15:13:37Z
Description: Display gitstats output on the mathlib website