Talk page

Title:
State of the New Proof Assistant

Speaker:
Daniel Grayson

Link:
https://www.ias.edu/video/1213/univalent/0117-DanielGrayson