Proof, Provers, and the Lean Theorem Prover - Summer Special!
10 minute Lean tutorial : proving logical propositions
Introductory Proof with Lean 4 - Natural Numbers
Infinitude of primes --- a Lean theorem prover demo
Automated Mathematical Proofs - Computerphile
Prof. Kontorovich, Informal Lecture on Mathematical Rigor and the Lean Theorem Prover
PLSE: Leonardo de Moura, "The Lean Theorem Prover"
[LLVM Social] The Lean Theorem Prover
Interactive theorem proving and the Lean theorem prover
Seed-Prover 1.5: Lean Theorem Proving
Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean
LEAN Theorem Provers used to model Physics and Chemistry
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference
When Computers Write Proofs, What's the Point of Mathematicians?
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 1)
L # 3.4.3 - Theorem Provers in Artificial Intelligence - Artificial Intelligence Playlist
Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds
Proving theorems with computers - Kevin Buzzard
Ten minute Lean tutorial : make proofs of easy lemmas
20200213 interactive theorem proving
![[LLVM Social] The Lean Theorem Prover](https://img.youtube.com/vi/ZFjxVTIw5-M/0.jpg)
