Talk page

Title:
Type Systems and Proof Assistant

Speaker:
Vladimir Voevodsky

Link:
https://www.ias.edu/video/univalent/voevodsky2012Oct10