This repository hosts the code that generates the plots shown in the Mathlib statistics page.
ruben-vandevelde / mathlib_stats Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/mathlib_stats
Display gitstats output on the mathlib website