@misc{indiciaea083dc9d15dc,
  title = {Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages},
  author = {Sebastian Ullrich and Leonardo de Moura},
  year = {2022},
  doi = {10.46298/lmcs-18(2:1)2022},
  url = {https://arxiv.org/abs/2001.10490},
  note = {Source identifier: 2001.10490}
}