TY  - RPRT
TI  - Automating Equational Proofs in Dirac Notation
AU  - Yingte Xu
AU  - Gilles Barthe
AU  - Li Zhou
PY  - 2024
DO  - 10.1145/3704878
UR  - https://arxiv.org/abs/2411.11617
ID  - 2411.11617
ER  -