Repository navigation

Report unused statement dependencies, and count paths from every owning article - #150

Merged

Deicyde merged 3 commits into

mainfrom

fix/impact-unused-statement-dependents

Oct 6, 2026

Commits on Oct 6, 2026

Report stated statement dependents that work impact cannot see
Deicyde
committed
0364e0f
Leave Mathlib articles out of unused statement dependencies
Deicyde
committed
7a23a94
Count Markdown paths from every article a revised declaration belongs to
Deicyde
committed
e1301c6