🔍 LeanDepViz v0.3.0

Dependency Graph:

DOT File (for graph view):

Verification Report:

Filter: Zone:

Total Nodes -

Checked -

Passed -

Failed -

🕸️ Interactive Dependency Graph

Load a DOT file to visualize the dependency graph.

Generate with: lake exe depviz --roots YourProject --dot-out graph.dot

📊 Declarations

Load a dependency graph JSON file to begin.

Verification Status	Declaration	Module	Kind	Zone	Flags