Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simple et Rapide)
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simple et Rapide)
250 viewsNov 22, 2024
YouTubeVic Help
Writing Math Proofs using Lean4 in Visual Studio Code
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
5.2K viewsOct 12, 2022
YouTubeChris
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
18.3K viewsFeb 27, 2025
YouTubeAlex Kontorovich
Lean 4 overview for Mathlib users - Patrick Massot
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.5K viewsJul 16, 2023
YouTubeleanprover community
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 interact with Mathlib!
2.5K views6 months ago
YouTubeThe Honest Torus
LeanAide: Translation from natural langauge to Lean 4 and Mathlib 4
1:49
LeanAide: Translation from natural langauge to Lean 4 and Mathlib 4
193 viewsSep 7, 2023
YouTubeSiddhartha Gadgil
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura
1.7K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
34:35
Is This the End of Handwritten Math? Introducing Lean
56.6K views7 months ago
YouTubeAnk Yog
1:42
Getting Started with Lean 4 in Visual Studio Code
15.7K viewsJun 7, 2022
YouTubeChris
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
203 views4 months ago
YouTubeleanprover community
1:38:33
Lecture 1: Introduction to Formalization and Lean 4 (1 / 4)
1K viewsJun 6, 2025
YouTubeDipartimento di Matematica UNIBO
21:05
Natural Number Game in Lean 4 - Episode 1 Tutorial World and zero_succ_add
1.4K viewsJan 9, 2023
YouTubeAlex Codes
3:15:10
I tried Lean and instantly got PhD in Math
89.1K views4 months ago
YouTubeTsoding Daily
11:54
Introductory Proof with Lean 4 - Natural Numbers
19.6K viewsOct 4, 2022
YouTubeMathPom
18:34
Natural Number Game in Lean 4 - Episode 0 Defining Natural Numbers
4.2K viewsJan 1, 2023
YouTubeAlex Codes
58:10
Speed-running Natural Numbers Game in Lean4
3.1K viewsSep 20, 2023
YouTubeAlex Kontorovich
51:30
Mini-Course on LEAN 4 (1/5)
994 viewsFeb 24, 2025
YouTubeInstitute for Mathematical Sciences
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
4.9K viewsSep 7, 2023
YouTubeTopos Institute
7:05
Leanの入門教材に入門しよう！Mathematics in Lean4の環境構築方法
1.2K viewsMay 28, 2024
YouTube数学ボーイZ / SUGAKU BOY Z
38:38
Natural Number Game in Lean 4 - Episode 18 Advanced Multiplication World Final Boss
170 viewsMar 2, 2023
YouTubeAlex Codes
26:05
Natural Number Game in Lean 4 - Episode 5 Finishing Multiplication World
217 viewsJan 22, 2023
YouTubeAlex Codes
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
3.9K viewsNov 6, 2024
YouTubeZUCCMAP
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 2026)
337 views4 months ago
YouTubeleanprover community
56:42
Formalizing a proof in Lean by hand
39.5K viewsMay 25, 2025
YouTubeTerence Tao
45:44
Golfing and stylistically aligning a proof using Claude Code
14K views2 weeks ago
YouTubeTerence Tao
13:03
Quick Tour of the Lean 4 Visual Studio Code extension
5.1K viewsJun 22, 2022
YouTubeChris
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
10K viewsFeb 15, 2023
YouTubeCertora
41:19
Metaprogramming Your IDE in Lean 4 with Harry Goldstein
2.9K views5 months ago
YouTubeSoftware Unscripted Podcast
29:01
Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)
3.7K viewsNov 14, 2022
YouTubeRacket
9:20
手把手教你学lean4第一集：lean4安装与界面
1.6K views1 month ago
bilibili数理基要主义
See more
Static thumbnail place holder