This page shows the Lean import graph. Search for a module to see what it imports, what imports it, and how far a change can travel through the source tree.
Import Graph
Each edge means that one Lean module directly imports another.
Loading import graph…
Source Snapshot
The site build reads these counts from the current Lean source tree.
Loading source statistics…
Module Explorer
Click a module to see its direct imports and direct importers.
Matching Modules
Selected Module
Select a module on the left.