Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
23:35
Infinitude of primes --- a Lean theorem prover demo
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
1:16:06
What Is an Interactive Theorem Prover? | Kevin Buzzard
1:01:01
The Move Programming Language by Sam Blackshear
41:35
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2018
18:02
Automated Mathematical Proofs - Computerphile
28:33
Terence Tao on how we measure the cosmos | The Distance Ladder Part 1
59:07