Talk page

Title:
A Proof Assistant Prototype Based on Algebraic Effects and Handlers

Speaker:
Andrej Bauer

Link:
https://www.ias.edu/video/univalent/1213/0321-AndrejBauer