Mathlib statistics

Counts

Definitions Theorems Contributors
44362 108355 296

Code growth

Temporal distribution

Authors

Dependency graph

A visualization showing how the various topics in mathlib interact and their relative sizes can be found here.