Sebastian Ullrich: Beyond Notations: Hygienic Macro Expansion for Theorem Proving… (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Authors: Sebastian Ullrich and Leonardo de Moura

Aired: 2020-02-01 14:30:00 CEST (UTC+2)