Mathlib statistics

Counts

Definitions Theorems Contributors
81145 155125 310

Code growth

Temporal distribution