VyZX Jan 12, 2026 1 min read VyZX: Formal Verification of a Graphical Quantum Language will appear in TOPLAS! ChiQP The University of Chicago Quantum Programming Lab