VyZX: Formal Verification of a Graphical Quantum Language

Adrian Lehmann, Ben Caldwell, Bhakti Shah, William Spencer, Robert Rand

January 2026

Type

Journal article

Publication

ACM Transactions on Programming Languages and Systems (TOPLAS)