Michael Kohlhase

  1. Title:
    Flexiformal, Pluralistic, Foundation-Independent Representations of Mathematics
    Speaker:
    Michael Kohlhase

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