@misc{indiciae3a0d61f063db,
  title = {Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs},
  author = {Aarthi Sundaram and Robert Rand and Kartik Singhal and Youngchan Cho and Brad Lackey},
  year = {2026},
  doi = {10.22331/q-2026-07-23-2172},
  url = {https://arxiv.org/abs/2101.08939},
  note = {Source identifier: 2101.08939}
}