Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

DOI10.1007/978-3-030-51054-1_10OpenAlexW3040625350MaRDI QIDQ5049000

Sebastian Ullrich, Leonardo de Moura

Publication date: 9 November 2022

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51054-1_10

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

A bi-directional extensible interface between Lean and Mathematica ⋮ The Lean 4 theorem prover and programming language

Cites Work

• Notions of computation and monads
• MetaML and multi-stage programming with explicit annotations
• Unnamed Item

This page was built for publication: Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages