Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challe…
4.1K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Formalizing a proof in Lean by hand
56:42
Formalizing a proof in Lean by hand
32.5K views8 months ago
YouTubeTerence Tao
Writing Math Proofs using Lean4 in Visual Studio Code
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
4.6K viewsOct 12, 2022
YouTubeChris
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
10.9K views11 months ago
YouTubeAlex Kontorovich
Formalizing a proof in Lean using Github copilot and canonical
34:39
Formalizing a proof in Lean using Github copilot and canonical
74.1K views9 months ago
YouTubeTerence Tao
Lean 4 overview for Mathlib users - Patrick Massot
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.3K viewsJul 16, 2023
YouTubeleanprover community
Lean theorem prover mathlib
0:09
Lean theorem prover mathlib
2 months ago
YouTubeShort Hacker News
21:51
[CPP'26] A Certifying Proof Assistant for Synthetic Mathemati…
32 views2 weeks ago
YouTubeACM SIGPLAN
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
66 views2 weeks ago
YouTubeleanprover community
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat…
1.4K viewsJan 14, 2025
YouTubeleanprover community
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 20…
2 weeks ago
YouTubeleanprover community
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
64 views8 months ago
YouTubeDipartimento di Matematica UNIBO
8:47
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
14K viewsJun 26, 2024
YouTubeDavid Renshaw
6:30
Video: Integrating Mathematical Proof and Software Verification: A…
3 weeks ago
YouTube論文紹介チャネル
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
3.3K viewsNov 6, 2024
YouTubeZUCCMAP
1:04:05
[WITS'26] Lean4Lean: Mechanizing the Metatheory of Lean
2 views2 weeks ago
YouTubeACM SIGPLAN
34:35
Is This the End of Handwritten Math? Introducing Lean
49.3K views3 months ago
YouTubeAnk Yog
15:00
音声_数学的証明とソフトウェア検証の統合：Leanプロジェクトの概要
9 views3 weeks ago
YouTube論文紹介チャネル
7:53
10 minute Lean tutorial : proving logical propositions
42.3K viewsApr 12, 2020
YouTubeXena Project
3:54
Seed-Prover 1.5: Lean Theorem Proving
64 views1 month ago
YouTubeAI Research Roundup
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
212 viewsNov 22, 2024
YouTubeVic Help
25:52
Sebastian Ullrich - The Lean module system (Lean Together 2026)
2 weeks ago
YouTubeleanprover community
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming …
9.3K viewsFeb 15, 2023
YouTubeCertora
1:00
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1.1K views3 months ago
YouTubeZeno Orbit
0:32
Free lean 4 tool that understands how natural language proofs inter…
3 months ago
YouTubeThe Honest Torus
21:30
Lean
Feb 15, 2023
Microsoft
7:16
Ten minute Lean tutorial : make proofs of easy lemmas
10.8K viewsMay 6, 2020
YouTubeXena Project
1:02:08
Mathlib Community Meeting December 12, 2025
2 months ago
YouTubeLean FRO
0:53
About Lean programming Language
265 views7 months ago
YouTubeVLR Training
20:11
[CPP'26] Formalizing polynomial laws and the universal divided po…
1 views2 weeks ago
YouTubeACM SIGPLAN
See more videos
Static thumbnail place holder