Explore Mathlib's measured compilation cost from folders to files. Widths sum Radar's per-file CPU instruction counts; switch to line count to compare with code size. Radar records whole-file measurements, so declaration and source-line timings are unavailable in this snapshot.
Folders and root files
Explore Mathlib
Choose a folder, then a file.