TY  - RPRT
TI  - Symbolic Reasoning about Quantum Circuits in Coq
AU  - Wenjun Shi
AU  - Qinxiang Cao
AU  - Yuxin Deng
AU  - Hanru Jiang
AU  - Yuan Feng
PY  - 2021
DO  - 10.1007/s11390-021-1637-9
UR  - https://arxiv.org/abs/2005.11023
ID  - 2005.11023
ER  -