Mathlib statistics

Declaration Counts

Definitions

17927

Theorems

36871

Meta declarations

3924

Code growth

Temporal distribution

Authors