Mathlib statistics

Code growth

Temporal distribution

Authors