TY  - RPRT
TI  - Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
AU  - Chengkai Zhu
AU  - Ziao Tang
AU  - Guocheng Zhen
AU  - Yimeng Cao
AU  - Yusheng Zhao
AU  - Ranyiliu Chen
AU  - Xuanqiang Zhao
AU  - Lei Zhang
AU  - Xin Wang
PY  - 2026
UR  - https://arxiv.org/abs/2607.09632
ID  - 2607.09632
ER  -