Jesús Aransay

  1. Title:
    Rendering useful formalized mathematics
    Speaker:
    Jesús Aransay

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