K Hietala,
R Rand,
SH Hung, X Wu… - Proceedings of the ACM on …, 2021 - dl.acm.org
We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq
proof assistant. Quantum circuits are expressed as programs in a simple, low-level language …