Jeremy Avigad

  1. Title:
    Computability and uniformity in ergodic theory

    Speaker:

    Link:

  2. Title:
    Computability and uniformity in ergodic theory

    Speaker:

    Link:

  3. Title:
    Homotopy Type Theory in Lean

    Speaker:

    Link:

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

    Speaker:

    Link:

  5. Title:
    Formal Abstract Homotopy Theory

    Speaker:

    Link:

  6. Title:
    Philosophy of Mathematics as a Design Science

    Speaker:

    Link: