[Formalising math 2022] -- getting started
5:21
[Formalising math 2022] -- getting started
4.2K viewsJan 11, 2022
YouTubeXena Project
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 2026)
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 20…
348 views3 months ago
YouTubeleanprover community
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.2K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Lean
21:30
Lean
Feb 15, 2023
Microsoft
Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mathlib (Lean Together 2026)
26:49
Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mat…
3 months ago
YouTubeleanprover community
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
About Lean programming Language
0:53
About Lean programming Language
319 views10 months ago
YouTubeVLR Training
31:47
How Mathematicians can Get Started with Lean
16.7K viewsFeb 27, 2025
YouTubeAlex Kontorovich
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat…
1.5K viewsJan 14, 2025
YouTubeleanprover community
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
5.2K viewsOct 12, 2022
YouTubeChris
56:42
Formalizing a proof in Lean by hand
39.8K views11 months ago
YouTubeTerence Tao
34:35
Is This the End of Handwritten Math? Introducing Lean
55.4K views6 months ago
YouTubeAnk Yog
21:41
【寝ながら学ぶ数学ラジオ】AIと数学の未来を拓く「Lean」と「mathli…
15 views6 months ago
YouTube世界数学紀行ch
34:39
Formalizing a proof in Lean using Github copilot and canonical
78.5K viewsMay 11, 2025
YouTubeTerence Tao
0:27
MathCode v0.0.3 — Lean proofs as an Obsidian knowledge graph. Th…
40.1K views1 month ago
x.comJichen Feng
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
4.1K viewsNov 6, 2024
YouTubeZUCCMAP
How To Build A Lean To Shed [Complete Step-by-Step Guide]
Nov 25, 2018
plasticinehouse.com
2:25
Reading this morning about the at times angry response of the @lea…
50.1K views1 month ago
x.comKevin Hartnett
Lean Construction | Lean Construction Institute
4 months ago
leanconstruction.org
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
203 views3 months ago
YouTubeleanprover community
What is Lean Manufacturing and the 5 Principles Used?
Sep 3, 2015
twi-global.com
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.4K viewsJul 16, 2023
YouTubeleanprover community
47:22
Make It Formal Podcast: The Creator of Lean on AI, Proof, and the Futur…
194 views1 month ago
YouTubeLatinum AI
8:54
The K22 Cellular Sheaf
5 views2 weeks ago
YouTubeReson8-Labs
1:18:16
Alex Kontorovich: First Analysis Lecture (June 16, 2025)
414 views9 months ago
YouTubeSimons Foundation
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
250 viewsNov 22, 2024
YouTubeVic Help
8:43
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支 …
7.5K viewsMay 7, 2022
YouTubeぐにらち
9:45
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支 …
4K viewsMay 13, 2022
YouTubeぐにらち
15:30
AI如何重塑数学：从公理验证到未解猜想，人机协作下的数学新范式与哥 …
3.1K views6 months ago
YouTubewow
1:49
LeanAide: Translation from natural langauge to Lean 4 and Mathlib 4
193 viewsSep 7, 2023
YouTubeSiddhartha Gadgil
See more videos
Static thumbnail place holder