How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
16.7K viewsFeb 27, 2025
YouTubeAlex Kontorovich
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
203 views3 months ago
YouTubeleanprover community
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
1.5K viewsJan 14, 2025
YouTubeleanprover community
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simple et Rapide)
5:43
Find in video from 03:01Importation de Mathlib
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
250 viewsNov 22, 2024
YouTubeVic Help
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
194 views11 months ago
YouTubeDipartimento di Matematica UNIBO
Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mathlib (Lean Together 2026)
26:49
Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mathlib (Lean Together 2026)
3 months ago
YouTubeleanprover community
Is This the End of Handwritten Math? Introducing Lean
34:35
Is This the End of Handwritten Math? Introducing Lean
55.4K views6 months ago
YouTubeAnk Yog
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
5.2K viewsOct 12, 2022
YouTubeChris
5:34
The Crisis of Modern Math (and the $500m solution)
6.9K views6 months ago
YouTubeThe Honest Torus
8:54
The K22 Cellular Sheaf
5 views2 weeks ago
YouTubeReson8-Labs
21:41
【寝ながら学ぶ数学ラジオ】AIと数学の未来を拓く「Lean」と「mathlib」：証明の自動検証から世界規模の共同研究
15 views6 months ago
YouTube世界数学紀行ch
3:15:10
I tried Lean and instantly got PhD in Math
89.1K views3 months ago
YouTubeTsoding Daily
26:11
[CPP'26] Higher order differential calculus in Mathlib
1 views3 months ago
YouTubeACM SIGPLAN
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 2026)
348 views3 months ago
YouTubeleanprover community
15:53
Lean4入门：安装配置篇
9.1K viewsMar 26, 2024
bilibilitimechess
26:41
Fonctions récursives et terminaison [Lean #8]
4 views1 month ago
YouTubeLipsum dot dev
1:18:16
Alex Kontorovich: First Analysis Lecture (June 16, 2025)
414 views9 months ago
YouTubeSimons Foundation
56:42
Formalizing a proof in Lean by hand
39.7K views11 months ago
YouTubeTerence Tao
0:53
About Lean programming Language
319 views10 months ago
YouTubeVLR Training
1:01:30
Heather Macbeth: Metaprogramming, Talk 1 (June 23, 2025)
670 views9 months ago
YouTubeSimons Foundation
[Formalising math 2022] -- getting started
5:21
Find in video from 02:14Lean Projects Installation
[Formalising math 2022] -- getting started
4.2K viewsJan 11, 2022
YouTubeXena Project
1:04:05
[WITS'26] Lean4Lean: Mechanizing the Metatheory of Lean
114 views3 months ago
YouTubeACM SIGPLAN
3:54
Seed-Prover 1.5: Lean Theorem Proving
94 views4 months ago
YouTubeAI Research Roundup
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
1:18:08
Find in video from 01:02Overview of Lean 4
Seminar: Introduction to the Lean 4 theorem prover and programmin…
10K viewsFeb 15, 2023
YouTubeCertora
47:22
Make It Formal Podcast: The Creator of Lean on AI, Proof, and the Future of Verified Software
194 views1 month ago
YouTubeLatinum AI
25:52
Sebastian Ullrich - The Lean module system (Lean Together 2026)
3 months ago
YouTubeleanprover community
14:49
Fonctions et preuves, un premier exemple [Lean #1]
89 views2 months ago
YouTubeLipsum dot dev
1:49
LeanAide: Translation from natural langauge to Lean 4 and Mathlib 4
193 viewsSep 7, 2023
YouTubeSiddhartha Gadgil
1:02:58
Steve Awodey: HoTTLean - Semantics of HoTT in Lean (12 Feb 2026)
135 views2 months ago
YouTubeFormalisation of Mathematics Seminar @ Cam
See more