Talk page

Title:
Cohomology in Homotopy Type Theory

Speaker:
Eric Finster

Link:
https://www.ias.edu/video/univalent/1213/0306-EricFinster