Lean 4 overview for Mathlib users - Patrick Massot
40:19
Find in video from 03:08Overview of Lean 4
Lean 4 overview for Mathlib users - Patrick Massot
5.3K viewsJul 16, 2023
YouTubeleanprover community
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
11.7K views1 year ago
YouTubeAlex Kontorovich
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
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
149 views8 months ago
YouTubeDipartimento di Matematica UNIBO
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…
212 viewsNov 22, 2024
YouTubeVic Help
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
Writing Math Proofs using Lean4 in Visual Studio Code
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
4.8K viewsOct 12, 2022
YouTubeChris
7:16
Ten minute Lean tutorial : make proofs of easy lemmas
10.8K viewsMay 6, 2020
YouTubeXena Project
1:49
LeanAide: Translation from natural langauge to Lean 4 and Mathlib 4
177 viewsSep 7, 2023
YouTubeSiddhartha Gadgil
34:35
Is This the End of Handwritten Math? Introducing Lean
50K views3 months ago
YouTubeAnk Yog
15:53
Lean4入门：安装配置篇
8.2K viewsMar 26, 2024
bilibilitimechess
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challe…
4.1K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
1:18:08
Find in video from 01:02Overview of Lean 4
Seminar: Introduction to the Lean 4 theorem prover and programming …
9.3K viewsFeb 15, 2023
YouTubeCertora
56:42
Formalizing a proof in Lean by hand
33.1K views9 months ago
YouTubeTerence Tao
7:53
Find in video from 00:19Proving Logical Propositions in Lean Tactic Mode
10 minute Lean tutorial : proving logical propositions
44.2K viewsApr 12, 2020
YouTubeXena Project
34:39
Formalizing a proof in Lean using Github copilot and canonical
74.3K views9 months ago
YouTubeTerence Tao
Math and Machine Learning Program 10/15/24 | Tutorial on the …
2.1K viewsOct 18, 2024
YouTubeHarvard CMSA
40:36
LftCM2020: Mathematics in Lean introduction - Patrick Massot
4.6K viewsJul 14, 2020
YouTubeleanprover community
59:25
【#9】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！
129 viewsJul 30, 2024
YouTube数学ボーイZ / SUGAKU BOY Z
27:17
Top Lean Tools - Top 26 Lean Manufacturing Problem Solving T…
20.3K viewsMar 3, 2024
YouTubeAcademic Gain Tutorials
8:47
Find in video from 00:29The Problem with Lean Proofs
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
14K viewsJun 26, 2024
YouTubeDavid Renshaw
25:52
Sebastian Ullrich - The Lean module system (Lean Together 2026)
4 weeks ago
YouTubeleanprover community
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 20…
4 weeks ago
YouTubeleanprover community
0:53
About Lean programming Language
265 views8 months ago
YouTubeVLR Training
3:35
How to make a QUALITY LEAN IMPROVEMENT (Lean Learning)
9K viewsApr 12, 2024
YouTubeRyan Tierney - Lean Made Simple
33:35
Lean Overview / Lean Manufacturing Overview - Video #1 of 36. Lean Tr…
9.3K viewsSep 4, 2020
YouTubeVelaction Continuous Improvement
5:38
Lean Foundations: The 5 Principles of Lean
4.7K viewsSep 22, 2023
YouTubeAmanda Zimmerman | Process Improvement Tips
26:11
[CPP'26] Higher order differential calculus in Mathlib
50 views4 weeks ago
YouTubeACM SIGPLAN
28:36
Lean Together 2025: Damiano Testa, An introduction to linters
521 viewsJan 14, 2025
YouTubeleanprover community
21:30
Lean - Microsoft Research
Feb 15, 2023
Microsoft
See more videos
Static thumbnail place holder