TY  - RPRT
TI  - VyZX: Formal Verification of a Graphical Quantum Language
AU  - Adrian Lehmann
AU  - Ben Caldwell
AU  - Bhakti Shah
AU  - William Spencer
AU  - Robert Rand
PY  - 2026
UR  - https://arxiv.org/abs/2311.11571
ID  - 2311.11571
ER  -