VyZX: Formal Verification of a Graphical Quantum Language
Published in arXiv, 2019
Formalizing the ZX Calculus – a graphical representation of quantum circuits – in Coq
Recommended citation: Adrian Lehmann, Ben Caldwell, Robert Rand (2023). "VyZX: Formal Verification of a Graphical Quantum Language". Preprint https://arxiv.org/abs/2311.11571