Aaron Crighton

  1. Title:
    Formalizing Macintyre's Theorem in Isabelle/HOL
    Speaker:
    Aaron Crighton

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