Keyboard shortcuts
- J / K
- Navigate modules
- /
- Focus search
- Esc
- Close search
seLe4n Architecture Intelligence
Adaptive Codebase Navigator
The production kernel, module by module: dependencies, impact edges, proof links and declarations for every Lean module, the Rust crates below and above it (the bare-metal HAL and the user-space syscall wrappers), and the declaration-level boundary where the two languages meet.
- Lean Modules
- -
- Theorems
- -
- Import Edges
- -
- Ops/Inv Pairs
- -
- Linked Pairs
- -
- Rust Crates
- -
- Rust Modules
- -
- Boundary Links
- -
Production module workspace
Imports, dependents, proof pair and declarations for every production Lean module, the Rust crates’ own module trees, and the boundary where the two meet. Opens on SeLe4n.Kernel.API, the kernel’s unified public API.