MSRI- Formalization of Mathematics (SLMath)

  1. Title:
    Introduction to Formalized Mathematics
    Speaker:
    Patrick Massot

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

  2. Title:
    Basics (Chapter 2 of MIL)
    Speaker:
    Heather Macbeth

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

  3. Title:
    Installing Lean
    Speaker:
    Jeremy Avigad

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

  4. Title:
    Lecture and Discussion
    Speaker:
    Jeremy Avigad

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

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

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

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

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

  7. Title:
    Number Theory (Chapter 5 of MIL)
    Link:
    https://www.msri.org/summer_schools/1021/schedules/33440

  8. Title:
    What Meta-Programming Means and Looks Like
    Link:
    https://www.msri.org/summer_schools/1021/schedules/33476

  9. Title:
    Algebraic Structures (Chapter 6 of MIL)
    Speaker:
    Thomas Browning

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

  10. Title:
    Forgetful Inheritance, Hom-Like and Set-Like
    Speaker:
    Kyle Miller

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

  11. Title:
    Topology (Chapter 8 of MIL)
    Speaker:
    Patrick Massot

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

  12. Title:
    Hierarchies (Chapter 7 of MIL)
    Speaker:
    Patrick Massot

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

  13. Title:
    Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL)
    Speaker:
    Patrick Massot

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

  14. Title:
    From Lean to Informal Mathematics
    Speaker:
    Kyle Miller

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

  15. Title:
    Finiteness and Graph Theory
    Speaker:
    Kyle Miller

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

  16. Title:
    Formalizing Galois Theory
    Speaker:
    Thomas Browning

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

  17. Title:
    Polynomials and Algebraic Number Theory
    Speaker:
    Thomas Browning

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

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

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

  19. Title:
    Formalizing Blockchain Computations
    Speaker:
    Jeremy Avigad

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

  20. Title:
    Integration and Complex Analysis
    Speaker:
    Heather Macbeth

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