L.  Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., ?Verified Compilation of Quantum Oracles?, 2021.