Keyboard shortcuts
- J / K
- Navigate modules
- /
- Focus search
- Esc
- Close search
seLe4n Architecture Intelligence
Adaptive Codebase Navigator
Navigate module-by-module with one integrated flow map: dependencies, impact edges, proof links, and external boundaries are shown in one canonical graph.
Files-
Lean Modules-
Import Edges-
Theorems-
Ops/Inv Pairs-
Linked Pairs-
Generated-