Visual reasoning for quantum circuits and protocols
High-level Quantum ProgrammingZX Calculus
A graphical language extending circuit diagrams, revealing compositional structure for visual reasoning. Enables state-of-the-art circuit optimization and error correction design.
