19:25

01 - First Proof

18:02

Automated Mathematical Proofs - Computerphile

23:35

Infinitude of primes --- a Lean theorem prover demo

29:46

02 - Substitution

55:11

Unlocking Agentic UI/UX with CoAgents & LangGraph 🪁🦜 Webinar

31:13

Researchers Use Group Theory to Speed Up Algorithms — Introduction to Groups

32:47

The Axiom of Choice

1:18:08

Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura