LftCM2020 welcome talk

LftCM2020 welcome talk

LftCM2020: Mathematics in Lean introduction - Patrick MassotSee more

LftCM2020: Mathematics in Lean introduction - Patrick Massot

Welcome speech by Ms. Villa Kulild, Director General, NoradSee more

Welcome speech by Ms. Villa Kulild, Director General, Norad

LftCM2020: Building the topological hierarchy - Alex BestSee more

LftCM2020: Building the topological hierarchy - Alex Best

LftCM2020: Category theory - Scott MorrisonSee more

LftCM2020: Category theory - Scott Morrison

LftCM2020: Logic in Lean - Jeremy AvigadSee more

LftCM2020: Logic in Lean - Jeremy Avigad

How To Give The Perfect Welcome Speech?See more

How To Give The Perfect Welcome Speech?

LftCM2020: Building an algebraic hierarchy - Kevin BuzzardSee more

LftCM2020: Building an algebraic hierarchy - Kevin Buzzard

Metaprogramming in Lean 3 tutorial: video 3See more

Metaprogramming in Lean 3 tutorial: video 3

Events