LftCM2020: Natural number game - Kevin Buzzard
Natural Number Game in Lean 4 - Episode 8 Function World
Complex Number Game (Lean): tutorial world playthrough
Introductory Proof with Lean 4 - Natural Numbers
Lean Theorem Prover Tutorial 1 - Natural Number Game by Arindam Bhattacharya - 20.10.21
LftCM2020: Numbers in Lean - Rob Lewis
Playing the Natural Number Game in Lean Proof Assistant | Complete Gameplay Walkthrough
Lean Theorem Prover Tutorial 2 - Natural Number Game by Arindam Bhattacharya - 14.01.22
【Lean】The Natural Number Game【自然数ゲーム】
Review of the new numbers game Numbalee
Lean for the Curious Mathematician 2023 Logic
LftCM2020: Sets in Lean - Jeremy Avigad
LftCM2020 welcome talk
Неделя 1: Natural Number Game | Формализация математики на Lean
LftCM2020: Mathematics in Lean introduction - Patrick Massot
Formalising Perfectoid Spaces
How do you convince mathematicians a theory prover is worth their time? with Kevin Buzzard
Lean for the Curious Mathematician 2023 Basics
Induction in Lean
LftCM2020: Calculus and integration - Yury Kudryashov
