Anthony Bordg

  1. Title:
    How to Do Maths Without Dependent Types
    Speaker:
    Anthony Bordg

    Link:
    https://www.youtube.com/watch?v=pKdw3-Cjkdo