LftCM2020: Numbers in Lean - Rob Lewis

LftCM2020: Natural number game - Kevin BuzzardSee more

Metaprogramming in Lean 3 tutorial: video 5See more

LftCM2020: Logic in Lean - Jeremy AvigadSee more

Metaprogramming in Lean 3 tutorial: video 2See more

Metaprogramming in Lean 3 tutorial: video 6See more

Metaprogramming in Lean 3 tutorial: video 1See more

LftCM2020: Sets in Lean - Jeremy AvigadSee more

LftCM2020: Mathematics in Lean introduction - Patrick MassotSee more

Metaprogramming in Lean 3 tutorial: video 3See more