John Harrison

  1. Title:
    HOL Light and Formal Mathematics
    Speaker:
    John Harrison

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