TY  - RPRT
TI  - D-Hammer: Efficient Equational Reasoning for Labelled Dirac Notation
AU  - Yingte Xu
AU  - Li Zhou
AU  - Gilles Barthe
PY  - 2025
UR  - https://arxiv.org/abs/2505.08633
ID  - 2505.08633
ER  -