The 28 Chapters of Quantum Shannon Theory
Complete roadmap of Mark M. Wilde's Quantum Information Theory (Cambridge University Press). Each chapter is machine-formalized in Lean 4 without sorry, grounded in the QuantumAxioms framework.
28
Chapters
6
Major Parts
2,181
Formal Definitions & Items
784
Lean Source Modules