The Type Theory of Lean
1:07:41
TPIL 2025: Lecture 1 - Dependent type theory
38:36
"A Little Taste of Dependent Types" by David Christiansen
1:00:32
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
54:56
Terence Tao, "Machine Assisted Proof"
1:18:27
How to Prove it with Lean
4:00:37
4 Heures de Chopin pour Étudier, Se Concentrer et Se Détendre
3:22:29
Upbeat Lofi - Deep Focus & Energy for Work [R&B, Neo Soul, Lofi Hiphop]
1:47:47