Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languageshttps://arxiv.org/abs/2001.10490 by ykonstant • 2 years ago 4 2 2 years agoARarxiv.org