Jeremy Avigad

  1. Title:
    Computability and uniformity in ergodic theory
    Speaker:
    Jeremy Avigad

    Link:
    http://www.birs.ca/events/2016/5-day-workshops/16w5072/videos/watch/201612051045-Avigad.html

  2. Title:
    Computability and uniformity in ergodic theory
    Speaker:
    Jeremy Avigad

    Link:
    http://www.birs.ca/events/2015/5-day-workshops/15w5005/videos/watch/201503101051-Avigad.html

  3. Title:
    Homotopy Type Theory in Lean
    Speaker:
    Jeremy Avigad

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

  4. Title:
    Part 1) Type Theory and Practical Foundations, Part 2) Homotopy Type Theory
    Speaker:
    Jeremy Avigad

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

  5. Title:
    Formal Abstract Homotopy Theory
    Speaker:
    Jeremy Avigad

    Link:
    https://www.ias.edu/video/univalent/1213/0228-JeremyAvigad

  6. Title:
    Philosophy of Mathematics as a Design Science
    Speaker:
    Jeremy Avigad

    Link:
    https://mathtube.org/lecture/video/philosophy-mathematics-design-science

  7. Title:
    Installing Lean
    Speaker:
    Jeremy Avigad

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33451

  8. Title:
    Lecture and Discussion
    Speaker:
    Jeremy Avigad

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33453

  9. Title:
    Logic (Chapter 3 of MIL)
    Speaker:
    Jeremy Avigad

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33439

  10. Title:
    Sets and Functions (Chapter 4 of MIL)
    Speaker:
    Jeremy Avigad

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33454

  11. Title:
    The Lean Simplifier and Other Automation
    Speaker:
    Jeremy Avigad

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33508

  12. Title:
    Formalizing Blockchain Computations
    Speaker:
    Jeremy Avigad

    Link:
    https://www.msri.org/summer_schools/1021/schedules/33482