Video From 23w5124: Formalization of Cohomology Theories

Thursday, May 25, 2023 09:00 - 10:00
What can we learn from formalizations in homotopy type theory?
Floris van Doorn, Video: What can we learn from formalizations in homotopy type theory?
Floris van Doorn, Video: What can we learn from formalizations in homotopy type theory?
Floris van Doorn, What can we learn from formalizations in homotopy type theory?, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
73M
http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 
This video file cannot be played.(Error Code: 224003)

Download this video (73M)

Other videos from this workshop