This webpage is about Lean 3, which is currently being deprecated, while the community is migrating to Lean 4.

Mathlib statistics

Counts

Definitions Theorems Contributors
45657 113500 310

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.