Sebastian Ullrich

Sebastian Ullrich

he/him

Co-Founder, Head of Engineering

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Date:

Conference talk on our IJCAR paper.

Slides Video