| Start Time | Title | Authors |
|---|---|---|
| 11:30 | Equality checking for dependent type theories | Andrej Bauer and Anja Petković |
| 11:40 | Family Polymorphism for Proof Extensibility | Anastasiya Kravchuk-Kirilyuk, Yizhou Zhang and Nada Amin |
| 11:55 | A Drag-and-Drop Proof Tactic | Benjamin Werner, Pablo Donato and Pierre-Yves Strub |
| 12:10 | A proof assistant for synthetic ∞-categories | Nikolai Kudasov |
| 12:20 | A Practical Implementation of Twin Types | Víctor López Juan |
Family Polymorphism for Proof Extensibility
1 file(s) 172.08 KB
Equality checking for dependent type theories
1 file(s) 280.50 KB
A proof assistant for synthetic ∞-categories
1 file(s) 247.29 KB
A Practical Implementation of Twin Types
1 file(s) 69.24 KB
A drag-and-drop proof tactic
1 file(s) 225.36 KB
Event Timeslots (1)
Thursday
-
chair: Jesper Cockx
Leave a Comment