TY  - RPRT
TI  - Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
AU  - Sebastian Ullrich
AU  - Leonardo de Moura
PY  - 2022
DO  - 10.46298/lmcs-18(2:1)2022
UR  - https://arxiv.org/abs/2001.10490
ID  - 2001.10490
ER  -