@misc{indiciae1cddc124afb0,
  title = {A Hoare Logic for Symmetry Properties},
  author = {Vaibhav Mehta and Justin Hsu},
  year = {2025},
  url = {https://arxiv.org/abs/2509.00587},
  note = {Source identifier: 2509.00587}
}