Video: Matthieu Piquerez, "Formalization of diagram chasing as a first-order logic in Coq"

Video From 23w5124: Formalization of Cohomology Theories

Matthieu Piquerez, Nantes Université / INRIA

Tuesday, May 23, 2023 13:30 - 14:30

Formalization of diagram chasing as a first-order logic in Coq

Matthieu Piquerez, Video: Formalization of diagram chasing as a first-order logic in Coq

Matthieu Piquerez, Formalization of diagram chasing as a first-order logic in Coq, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video

Banff International Research Station

presentation

mpeg4

63M

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

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

Download this video (63M)