TPIL 2025: Lecture 1 - Dependent type theory
1:33:01
TPIL 2025: Lecture 2 - Proof writing and tactics
1:03:19
The Type Theory of Lean
1:46:06
TPIL 2025: Lecture 3 - Inductive types
31:59
Lessons from Metamath
23:40
JEFF MILLS - L'artiste TECHNO qui a tout changé
48:08
Masterclass avec Cédric Villani sur l'Intelligence Artificielle
1:33:01
Fall asleep instantly in 5 minutes, insomnia cure, stress relief music 2
1:00:03