@misc{indiciae43125fbb2a70,
  title = {VyZX: Formal Verification of a Graphical Quantum Language},
  author = {Adrian Lehmann and Ben Caldwell and Bhakti Shah and William Spencer and Robert Rand},
  year = {2026},
  url = {https://arxiv.org/abs/2311.11571},
  note = {Source identifier: 2311.11571}
}