Daniel Grayson

  1. Title:
    State of the New Proof Assistant
    Speaker:
    Daniel Grayson

    Link:
    https://www.ias.edu/video/1213/univalent/0117-DanielGrayson

  2. Title:
    Working Group on Univalent Foundations
    Speaker:
    Daniel Grayson

    Link:
    https://www.ias.edu/video/1213/univalent/DanielGrayson-1207

  3. Title:
    Algebraic K-Theory Via Binary Complexes
    Speaker:
    Daniel Grayson

    Link:
    https://www.ias.edu/video/members/grayson