Video: Axel Ljungström, "Cohomology Theory and Brunerie Numbers in Cubical Agda"

Video From 23w5124: Formalization of Cohomology Theories

Axel Ljungström, Stockholm University

Thursday, May 25, 2023 14:00 - 15:00

Cohomology Theory and Brunerie Numbers in Cubical Agda

Axel Ljungström, Video: Cohomology Theory and Brunerie Numbers in Cubical Agda

Axel Ljungström, Cohomology Theory and Brunerie Numbers in Cubical Agda, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video

Banff International Research Station

presentation

mpeg4

67M

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305251400-Ljungstrom.html

0 seconds of 0 secondsVolume 90%

00:00

This video file cannot be played.(Error Code: 224003)

Download this video (67M)