Video From 23w5124: Formalization of Cohomology Theories

Tuesday, May 23, 2023 13:30 - 14:30
Formalization of diagram chasing as a first-order logic in Coq

Download this video (63M)

Other videos from this workshop