Talk page

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

Speaker:
Matthieu Piquerez

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

Workshop:
Birs- 23w5124: Formalization of Cohomology Theories