TY  - RPRT
TI  - QECert: Formal Foundations for Quantum Error-Correction Theory in Lean
AU  - Keming He
AU  - Jiahan Chen
AU  - Enji Xiong
AU  - Zhongyi Ni
AU  - Lei Zhang
AU  - Xin Wang
PY  - 2026
UR  - https://arxiv.org/abs/2611.05047
ID  - 2611.05047
ER  -