LftCM2020: Building the topological hierarchy - Alex Best

(24:35)

LftCM2020: Building an algebraic hierarchy - Kevin Buzzard

(28:56)

LftCM2020: Numbers in Lean - Rob Lewis

(42:6)

LftCM2020: Structures and Classes 1/2 - Floris van Doorn

(16:41)

LftCM2020 welcome talk

(5:27)

LftCM2020: Order structures - Kevin Buzzard

(31:37)

LftCM2020: Structures and Classes 2/2 - Floris van Doorn

(18:47)

LftCM2020: Logic in Lean - Jeremy Avigad

(48:33)

LftCM2020: Category theory - Scott Morrison

(29:46)

Building a lean culture

(2:43)

LftCM2020: Mathematics in Lean introduction - Patrick Massot

(40:36)

LftCM2020: Sets in Lean - Jeremy Avigad

(24:3)