Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
By Chengkai Zhu · Paper · quant-ph
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning quantum communication, computation, and error correction. Formalizing its coding theorems requires connecting finite-block protocols, analytic in