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

Mathlib statistics


Definitions Theorems Contributors
45657 113500 310

Code growth

Temporal distribution


Dependency graph

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