National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
Diversity
About
Videos
Search Videos
Search
From Date
To Date
Institute
AIM
IAS
ICERM
IMA
IPAM
MBI
SLMath
SAMSI
IMSI
Per Page
12
24
48
96
Search
Reset
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
‹ Previous Page
1
2
Next Page ›