15:48

03 - Symbols, No Numbers

18:02

Automated Mathematical Proofs - Computerphile

23:35

Infinitude of primes --- a Lean theorem prover demo

27:46

00 - Proofs & Proof Assistants

26:54

04 - Simple Algebra

19:25

01 - First Proof

6:50

Impossible Programs (The Halting Problem)

25:05

05 - Inequalities