Mathlib statistics

Counts

Definitions Theorems Contributors
22029 48651 143

Code growth

Temporal distribution

Authors