Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Published in Log. Methods Comput. Sci., 2022
Recommended citation: Sebastian Ullrich, Leonardo Moura, "Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages." Log. Methods Comput. Sci., 2022.
Download Paper