Mathlib statistics
Counts
| Definitions | Theorems | Contributors |
|---|---|---|
| 119065 | 238728 | 653 |
Code growth
Temporal distribution
Temporal distribution of commits by type (feat, chore, etc.)
Dependency graph
A visualization showing how the various topics in mathlib interact and their relative sizes can be found here.