Symbolic Reasoning about Quantum Circuits in Coq

Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng. J. Comput. Sci. Technol. 2021.