Mathlib statistics
Counts
| Definitions | Theorems | Contributors |
|---|---|---|
| 86935 | 168406 | 346 |
Code growth
Temporal distribution
Dependency graph
A visualization showing how the various topics in mathlib interact and their relative sizes can be found here.
| Definitions | Theorems | Contributors |
|---|---|---|
| 86935 | 168406 | 346 |
A visualization showing how the various topics in mathlib interact and their relative sizes can be found here.