Introductory Proof with Lean 4 - Natural Numbers
10 minute Lean tutorial : proving logical propositions
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
Infinitude of primes --- a Lean theorem prover demo
Lean Theorem Prover Tutorial 1 - Natural Number Game by Arindam Bhattacharya - 20.10.21
Lean for the Curious Mathematician 2023 Basics
Let's code math | Lean4 | Theorem prover
Lean Prover - Day 1 (Types and Definitions)
How Mathematicians can Get Started with Lean
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 1)
Is This the End of Handwritten Math? Introducing Lean
Week 1 - Lean: A Practical Introduction
Interactive theorem proving and the Lean theorem prover
Lean for Scientists and Engineers, Summer 2024 - Lecture 1
Proof, Provers, and the Lean Theorem Prover - Summer Special!
How to Prove it with Lean
Lean summer lectures 1/18
Logic in Lean, video 1 (logical implication)
Metamath Zero (MM0/MM1) tutorial
Lean for the Curious Mathematician 2023 Logic
