VyZX: A Vision for Verifying the ZX Calculus

Adrian Lehmann, Ben Caldwell, Robert Rand
January 2022
PDF Cite Poster Video arXiv
Type
Workshop paper

Tool demo at Quantum Physics and Logic, 2022.