Bridging Math Proofs and Formal Proofs: Lean's Role
2:38
Bridging Math Proofs and Formal Proofs: Lean's Role
8.6K views2 months ago
YouTubeCurt Jaimungal
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
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
16.7K viewsFeb 27, 2025
YouTubeAlex Kontorovich
Math & Programming Simple LEAN Protocol & Outcome Focused Approach!
0:26
Math & Programming Simple LEAN Protocol & Outcome Focused Approach!
2.3K views8 months ago
YouTubeAI Angle
Formalizing a proof in Lean using Github copilot and canonical
34:39
Formalizing a proof in Lean using Github copilot and canonical
78.5K viewsMay 11, 2025
YouTubeTerence Tao
Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
47:15
Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
952 views11 months ago
YouTubeCompSciOxford
AI for Math: Neuro-Symbolic Auto-Formalization into Lean via Joint Embeddings
1:30:23
AI for Math: Neuro-Symbolic Auto-Formalization into Lean via Joint Embeddings
589 views6 months ago
YouTubeFields Institute
1:08
Tau Q&A [2-26-4] Tau Language vs Lean for Math Formalization
7 views1 month ago
YouTubeLEARNTAU
53:54
Mario Carneiro: Lean4Lean: Formalizing the type theory of Lean
793 viewsJul 25, 2024
YouTubeHausdorff Center for Mathematics
24:24
Harry Goldstein - Metaprogramming the Next Generation of Testing Tools (Lean Together 2026)
272 views3 months ago
YouTubeleanprover community
0:53
About Lean programming Language
319 views10 months ago
YouTubeVLR Training
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura
1.3K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
1:02:46
[MERL Seminar Series Spring 2026] Proving and Improving: Language Models for Theorem Proving and ...
33 views2 months ago
YouTubeMitsubishi Electric Research Laboratories (ME…
1:04:05
[WITS'26] Lean4Lean: Mechanizing the Metatheory of Lean
114 views3 months ago
YouTubeACM SIGPLAN
1:07:25
Prof. Jeremy Avigad | The Lean Theorem Prover
73 views4 months ago
YouTubeINI Seminar Room 2
3:58
Hermes: Verified Math Reasoning for LLMs
171 views5 months ago
YouTubeAI Research Roundup
53:39
Leonardo de Moura - Verified Collaboration: How Lean is Transforming Math...(March 12, 2025)
1.6K viewsMar 24, 2025
YouTubeSimons Foundation
5:13
Lean Formalizes Wrong Math Metaphysics
222 views5 months ago
YouTubeMax Stirner
1:18:16
Alex Kontorovich: First Analysis Lecture (June 16, 2025)
414 views9 months ago
YouTubeSimons Foundation
2:51
"The original motivation for creating Lean was software verification" Leonardo de Moura #LeanLang
516 views1 year ago
YouTubeElixir, Erlang, the BEAM (and Lean)
1:00:52
Lean Based AI for Math --Rongge XU
681 views6 months ago
bilibili夏山-繁树
31:57
定理を証明するプログラミング言語Leanって？環境構築、入門教材の紹介も！supported by Proxima Technology
3K viewsMay 23, 2024
YouTube数学ボーイZ / SUGAKU BOY Z
52:07
Math Encounters: "You Want Proof? I'll Give You Proof! ...Euclid to Lean" Jeremy Avigad Nov 6 2024
5.5K viewsJan 14, 2025
YouTubeNational Museum of Mathematics
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
54:53
Building an AI Mathematician [Carina Hong] - 754
13.6K views6 months ago
YouTubeThe TWIML AI Podcast with Sam Charrington
20:50
Let's code math | Lean4 | Theorem prover
24K viewsJul 30, 2024
YouTubeSplience
49:35
Alex Gu | LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
2K viewsOct 11, 2023
YouTubeHarvard CMSA
2:09
The Language of Mathematics
7.4K viewsMar 8, 2025
YouTubeThe Math Sorcerer
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
1.5K viewsJan 14, 2025
YouTubeleanprover community
21:30
Lean
Feb 15, 2023
Microsoft
See more