Videos

Start date cannot be after end date.

Lean 4

Presenter
  • Leonardo de Moura
July 15, 2022
ICERM

Organizer Welcome / Introduction to Lean

Presenter
  • Jeremy Avigad
July 11, 2022
ICERM

Natural Number Game demo+exercises

Presenter
  • Kevin Buzzard
July 11, 2022
ICERM

Basics

Presenter
  • Johan Commelin
July 12, 2022
ICERM

Logic

Presenter
  • Jeremy Avigad
July 12, 2022
ICERM

Sets and Functions

Presenter
  • Mario Carneiro
July 12, 2022
ICERM

Algebra Tactics

Presenter
  • Heather Macbeth
July 12, 2022
ICERM

Structures and classes

Presenter
  • Robert Lewis
July 13, 2022
ICERM

Topological hierarchy

Presenter
  • Patrick Massot
July 13, 2022
ICERM

Algebraic hierarchy

Presenter
  • Johan Commelin
July 13, 2022
ICERM

Elementary number theory

Presenter
  • María Inés de Frutos Fernández
July 14, 2022
ICERM

Calculus

Presenter
  • Patrick Massot
July 14, 2022
ICERM