Theorem Explorer · Wilde QIT in Lean 4

Wilde: Quantum Information Theory Lean Blueprint

Overview Dependency Graph (WASM) Radial Tree Book Evolution & Index Chapters (28) Landmarks Axiomatic Lineage About & Verification

← Digital Twins

Loading theorem declaration and WebAssembly layout engine…

Wilde Quantum Information Theory in Lean 4. Statements are quoted directly from the formal source files. Graph layouts rendered client-side using Graphviz compiled to WebAssembly via @hpcc-js/wasm.