Introductory Proof with Lean 4 - Natural Numbers
10 minute Lean tutorial : proving logical propositions
How Mathematicians can Get Started with Lean
How to learn Lean programming language | Terence Tao and Lex Fridman
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
Lean for the Curious Mathematician 2023 Basics
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
Ten minute Lean tutorial : make proofs of easy lemmas
Infinitude of primes --- a Lean theorem prover demo
Let's code math | Lean4 | Theorem prover
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman
Logic in Lean, video 1 (logical implication)
Is This the End of Handwritten Math? Introducing Lean
Automated Mathematical Proofs - Computerphile
Getting Started with Lean 4 in Visual Studio Code
Formalizing a proof in Lean by hand
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
An introduction to Lean 4, a functional programming language
An Introduction to Mathematical Proofs
Mini-Course on LEAN 4 (1/5)
