leanprover-community / mathlib_stats

Display gitstats output on the mathlib website

mathlib_stats

This repository hosts the code that generates the plots shown in the Mathlib statistics page.