Mathlib statistics

Counts

Definitions Theorems Contributors
77388 142864 310

Code growth

Temporal distribution