00 - Proofs & Proof Assistants
19:25
01 - First Proof
29:46
02 - Substitution
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
1:14:48
The Future of Mathematics?
18:02
Automated Mathematical Proofs - Computerphile
1:30:08
Analyzing Real-World Networks in Wolfram Language
23:35
Infinitude of primes --- a Lean theorem prover demo
21:48