Mathlib statistics

Counts

Definitions Theorems Contributors
24543 54243 164

Code growth

Temporal distribution

Authors