Elementary number theory

María Inés de Frutos Fernández
Imperial College London
July 14, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials

Algebraic hierarchy

Johan Commelin
University of Freiburg
July 13, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials

Topological hierarchy

Patrick Massot
Université Paris-Saclay at Orsay
July 13, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials

Structures and classes

Robert Lewis
Brown University
July 13, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials

Algebra Tactics

Heather Macbeth
Fordham University
July 12, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials

Sets and Functions

Mario Carneiro
Carnegie Mellon University
July 12, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials

Logic

Jeremy Avigad
Carnegie Mellon University
July 12, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials

Basics

Johan Commelin
University of Freiburg
July 12, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials

Natural Number Game demo+exercises

Kevin Buzzard
Imperial College London
July 11, 2022
Lean for the Curious Mathematician 2022
Play Details & Materials