Cohomology Theory and Brunerie Numbers in Cubical Agda
Axel Ljungström, Video: 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