Kuen-Bang Hou

  1. Title:
    The Seifert-van Kampen Theorem in Homotopy Type Theory
    Speaker:
    Kuen-Bang Hou

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

  2. Title:
    Mechanized reasoning in mathematics
    Speaker:
    Kuen-Bang Hou

    Link:
    https://www.ias.edu/video/postdoc/2017/0929-HouFavonia