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