Video From 23w5124: Formalization of Cohomology Theories

Thursday, May 25, 2023 14:00 - 15:00
Cohomology Theory and Brunerie Numbers in Cubical Agda

Download this video (67M)

Other videos from this workshop