Mathlib statistics

Counts

Code growth

Temporal distribution

Temporal distribution of commits by type (feat, chore, etc.)

Dependency graph

A visualization showing how the various topics in mathlib interact and their relative sizes can be found here.