📊 Declarations
Load a dependency graph JSON file to begin.
| Verification Status | Declaration | Module | Kind | Zone | Flags |
|---|
🕸️ Dependency Graph
Load a DOT file to visualize the dependency graph.
Generate with: lake exe depviz --roots YourProject --dot-out graph.dot