Lean 4 overview for Mathlib users - Patrick Massot
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.4K viewsJul 16, 2023
YouTubeleanprover community
#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Bu...
55:36
#60 Exploring 'Mathlib' and the digitisation of mathematics: an int…
493 views10 months ago
YouTubeIsaac Newton Institute for Mathematical Sciences
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
168 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
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
11.7K viewsFeb 27, 2025
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
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
66 views1 month ago
YouTubeleanprover community
26:11
[CPP'26] Higher order differential calculus in Mathlib
1 views1 month ago
YouTubeACM SIGPLAN
17:09
MathLib - Math functions Library for SystemVerilog (Deepa Palaniappan)
350 viewsSep 19, 2023
YouTubeFOSSi Foundation
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
4.9K viewsOct 12, 2022
YouTubeChris
1:02:08
Mathlib Community Meeting December 12, 2025
2 months ago
YouTubeLean FRO
46:50
[London Learning Lean] Engel's theorem in mathlib, by Oliver Nash
391 viewsMar 17, 2022
YouTubeXena Project
7:16
Ten minute Lean tutorial : make proofs of easy lemmas
10.8K viewsMay 6, 2020
YouTubeXena Project
5:34
The Crisis of Modern Math (and the $500m solution)
6.8K views3 months ago
YouTubeThe Honest Torus
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challe…
4.1K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
3.6K viewsNov 6, 2024
YouTubeZUCCMAP
34:39
Formalizing a proof in Lean using Github copilot and canonical
74.4K views9 months ago
YouTubeTerence Tao
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming …
9.2K viewsFeb 15, 2023
YouTubeCertora
56:42
Formalizing a proof in Lean by hand
33.1K views9 months ago
YouTubeTerence Tao
34:35
Is This the End of Handwritten Math? Introducing Lean
50K views4 months ago
YouTubeAnk Yog
9:40
INSTALLATION OF MATPLOTLIB LIBRARY || HOW TO INSTALL MA…
46K viewsJun 25, 2021
YouTubeSundeep Saradhi Kanthety
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 20…
1 month ago
YouTubeleanprover community
1:00
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1.1K views4 months ago
YouTubeZeno Orbit
25:52
Sebastian Ullrich - The Lean module system (Lean Together 2026)
1 month ago
YouTubeleanprover community
7:53
10 minute Lean tutorial : proving logical propositions
44.2K viewsApr 12, 2020
YouTubeXena Project
11:20
Algebra 1 Functions Mathlib
3 weeks ago
YouTubeScott Schirmer
3:54
Seed-Prover 1.5: Lean Theorem Proving
93 views2 months ago
YouTubeAI Research Roundup
0:32
Free lean 4 tool that understands how natural language proofs inter…
2.4K views3 months ago
YouTubeThe Honest Torus
28:36
Lean Together 2025: Damiano Testa, An introduction to linters
521 viewsJan 14, 2025
YouTubeleanprover community
21:30
Lean
Feb 15, 2023
Microsoft
See more videos
Static thumbnail place holder