2022-07-08 ハイジェニックマクロ Lean Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages Sebastian Ullrich, Leonardo de Moura https://arxiv.org/abs/2001.10490 またはPDF https://lmcs.episciences.org/9362/pdf