Mathlib statistics

Counts

Definitions Theorems Contributors
28487 66291 191

Code growth

Temporal distribution

Authors