Mathlib statistics
Counts
Definitions | Theorems | Contributors |
---|---|---|
87396 | 169900 | 349 |
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 |
---|---|---|
87396 | 169900 | 349 |
A visualization showing how the various topics in mathlib interact and their relative sizes can be found here.