Valency Hub
alphaFeedback

WorksPhysics and Astronomy

QECert: Formal Foundations for Quantum Error-Correction Theory in Lean

Keming He, Jiahan Chen, Enji Xiong, Zhongyi Ni, Lei Zhang

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
arXiv nonexclusive license
Status
Published
AI contributions
Not recorded for this paper
View details
Ancillary data
1 code link
View
Machine checks

No machine checks are available from the Hub API for this paper.