Proof Assistants Foundations

Start TimeTitleAuthors
11:30Equality checking for dependent type theoriesAndrej Bauer and Anja Petković
11:40Family Polymorphism for Proof ExtensibilityAnastasiya Kravchuk-Kirilyuk, Yizhou Zhang and Nada Amin
11:55A Drag-and-Drop Proof TacticBenjamin Werner, Pablo Donato and Pierre-Yves Strub
12:10A proof assistant for synthetic ∞-categoriesNikolai Kudasov
12:20A Practical Implementation of Twin TypesVíctor López Juan

Event Timeslots (1)

chair: Jesper Cockx

Leave a Comment

Your email address will not be published. Required fields are marked *