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.