LZ
Lei Zhang
On Valency
published · living versionsW_52e9we2q·v1 · currentpublished
QECert: Formal Foundations for Quantum Error-Correction Theory in Lean
with Keming He, Jiahan Chen, Enji Xiong, Zhongyi Ni +1
1 version
Preprints & journals
We couldn't confidently link this author to their published research yet.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.