This webpage is about Lean 3, which is effectively obsolete; the community has migrated to Lean 4.

Mathlib statistics


Definitions Theorems Contributors
45679 113595 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.