Mathlib statistics

Counts

Definitions Theorems Contributors
81930 156808 310

Code growth

Temporal distribution