Jacques Carette

  1. Title:
    Leveraging the structure of theory libraries
    Speaker:
    Jacques Carette

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