TY  - RPRT
TI  - Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
AU  - Aarthi Sundaram
AU  - Robert Rand
AU  - Kartik Singhal
AU  - Youngchan Cho
AU  - Brad Lackey
PY  - 2026
DO  - 10.22331/q-2026-07-23-2172
UR  - https://arxiv.org/abs/2101.08939
ID  - 2101.08939
ER  -