Talk page

Title:
Formalizing Macintyre's Theorem in Isabelle/HOL

Speaker:
Aaron Crighton

Link:
https://video-archive.fields.utoronto.ca/view/14580

Workshop:
Fields- Model Theory Seminar