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 Mat…
1.4K viewsJan 14, 2025
YouTubeleanprover community
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 2026)
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 20…
2 weeks ago
YouTubeleanprover community
The Crisis of Modern Math (and the $500m solution)
5:34
The Crisis of Modern Math (and the $500m solution)
6.7K views3 months ago
YouTubeThe Honest Torus
Free lean 4 tool that understands how natural language proofs interact with Mathlib!
0:32
Free lean 4 tool that understands how natural language proofs inter…
3 months ago
YouTubeThe Honest Torus
About Lean programming Language
0:53
About Lean programming Language
265 views7 months ago
YouTubeVLR Training
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
64 views8 months ago
YouTubeDipartimento di Matematica UNIBO
Is This the End of Handwritten Math? Introducing Lean
34:35
Is This the End of Handwritten Math? Introducing Lean
49.3K views3 months ago
YouTubeAnk Yog
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
4.6K viewsOct 12, 2022
YouTubeChris
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challe…
4.1K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
21:51
[CPP'26] A Certifying Proof Assistant for Synthetic Mathemati…
32 views2 weeks ago
YouTubeACM SIGPLAN
1:00
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1.1K views3 months ago
YouTubeZeno Orbit
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
3.3K viewsNov 6, 2024
YouTubeZUCCMAP
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論文紹介チャネル
56:42
Formalizing a proof in Lean by hand
32.5K views8 months ago
YouTubeTerence Tao
34:39
Formalizing a proof in Lean using Github copilot and canonical
74.1K views9 months ago
YouTubeTerence Tao
0:09
Lean theorem prover mathlib
2 months ago
YouTubeShort Hacker News
31:47
How Mathematicians can Get Started with Lean
10.9K views11 months ago
YouTubeAlex Kontorovich
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
212 viewsNov 22, 2024
YouTubeVic Help
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.3K viewsJul 16, 2023
YouTubeleanprover community
21:30
Lean
Feb 15, 2023
Microsoft
1:18:16
Alex Kontorovich: First Analysis Lecture (June 16, 2025)
388 views6 months ago
YouTubeSimons Foundation
7:53
10 minute Lean tutorial : proving logical propositions
42.3K viewsApr 12, 2020
YouTubeXena Project
1:01:10
Jireh Loreaux: Working with Mathlib
328 viewsApr 22, 2024
YouTubeCentre International de Rencontres Mathématiq…
15:00
音声_数学的証明とソフトウェア検証の統合：Leanプロジェクトの概要
9 views3 weeks ago
YouTube論文紹介チャネル
1:04:05
[WITS'26] Lean4Lean: Mechanizing the Metatheory of Lean
2 views2 weeks ago
YouTubeACM SIGPLAN
4:24
This AI Just Cracked Formal Mathematics: AlphaProof Explained
48 views3 months ago
YouTubeScienceSizzle • 19k Views
1:56
论文写作中的公式问题，最简单的mathtype与mathpix的联合使用。
3.9K viewsMay 2, 2020
bilibili零下一度LL
3:54
Seed-Prover 1.5: Lean Theorem Proving
64 views1 month ago
YouTubeAI Research Roundup
9:45
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支 …
3.9K viewsMay 13, 2022
YouTubeぐにらち
See more videos
Static thumbnail place holder