Open import graph View build performance

Search the Lean import graph by module name to inspect its dependencies, reverse dependencies, and the part of the source tree affected by a change.

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

Search module Importing area Imported area

Click a module to see its direct imports and direct importers.

Matching Modules

Selected Module

Select a module on the left.