Mathlib statistics

Counts

Definitions Theorems Contributors
26482 58657 173

Code growth

Temporal distribution

Authors