VideoArxiv
Home
Workshops
Speakers
Talk page
Title:
Cohomology Theory and Brunerie Numbers in Cubical Agda
Speaker:
Axel Ljungström
Link:
http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305251400-Ljungstrom.html
Workshop:
Birs- 23w5124: Formalization of Cohomology Theories