TY  - RPRT
TI  - Connecting Quantum Proof Systems and Hoare Logic
AU  - Liyi Li
AU  - Zoukarneini Difaizi Tagba
AU  - Alex Potanin
PY  - 2026
UR  - https://arxiv.org/abs/2610.34723
ID  - 2610.34723
ER  -