Including results for learn 4.
Do you want results only for lean4?
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
10K viewsFeb 15, 2023
YouTubeCertora
An introduction to Lean 4, a functional programming language
17:55
An introduction to Lean 4, a functional programming language
13.1K viewsNov 19, 2021
YouTubeElixir, Erlang, the BEAM (and Lean)
Getting Started with Lean 4 in Visual Studio Code
1:42
Getting Started with Lean 4 in Visual Studio Code
15.7K viewsJun 7, 2022
YouTubeChris
Learning To Code In Lean 4 With A Friend: Starting Out
50:59
Learning To Code In Lean 4 With A Friend: Starting Out
9.4K viewsOct 23, 2023
YouTubeRichard Southwell
Let's code math | Lean4 | Theorem prover
20:50
Let's code math | Lean4 | Theorem prover
24K viewsJul 30, 2024
YouTubeSplience
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
4.9K viewsSep 7, 2023
YouTubeTopos Institute
Exploring Lean4, by Sofia Rodrigues
30:01
Exploring Lean4, by Sofia Rodrigues
2.3K viewsNov 9, 2023
YouTubeCodeminer42
29:01
Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)
3.7K viewsNov 14, 2022
YouTubeRacket
7:06
定理証明支援系Lean 4導入手順【VOICEROID解説】
3.3K viewsMay 21, 2023
YouTubeぐにらち
34:35
Is This the End of Handwritten Math? Introducing Lean
55.4K views7 months ago
YouTubeAnk Yog
4:27
How to learn Lean programming language | Terence Tao and Lex Fridman
24.6K views11 months ago
YouTubeLex Clips
11:54
Introductory Proof with Lean 4 - Natural Numbers
19.6K viewsOct 4, 2022
YouTubeMathPom
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
5.2K viewsOct 12, 2022
YouTubeChris
13:03
Quick Tour of the Lean 4 Visual Studio Code extension
5K viewsJun 22, 2022
YouTubeChris
31:47
How Mathematicians can Get Started with Lean
18K viewsFeb 27, 2025
YouTubeAlex Kontorovich
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
3.9K viewsNov 6, 2024
YouTubeZUCCMAP
19:12
Lean 4 中文入门 —— 第一讲：Type Theory
14K viewsAug 2, 2023
bilibili凉宫百合子
18:34
Natural Number Game in Lean 4 - Episode 0 Defining Natural Numbers
4.1K viewsJan 1, 2023
YouTubeAlex Codes
51:30
Mini-Course on LEAN 4 (1/5)
717 viewsFeb 24, 2025
YouTubeInstitute for Mathematical Sciences
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.5K viewsJul 16, 2023
YouTubeleanprover community
7:05
Leanの入門教材に入門しよう！Mathematics in Lean4の環境構築方法
1.2K viewsMay 28, 2024
YouTube数学ボーイZ / SUGAKU BOY Z
38:32
MAGIC of DSPY 3 (Stanford) - Lean 4
9.5K views10 months ago
YouTubeDiscover AI
57:14
Reading "Theorem Proving in Lean 4" for Koreans - Chap. 7, (11) Tactics for Inductive Types
59 views5 months ago
YouTubeBulhwi Cha (차불휘)
53:54
Mario Carneiro: Lean4Lean: Formalizing the type theory of Lean
793 viewsJul 25, 2024
YouTubeHausdorff Center for Mathematics
3:15:10
I tried Lean and instantly got PhD in Math
89.1K views3 months ago
YouTubeTsoding Daily
56:42
Formalizing a proof in Lean by hand
39.8K viewsMay 25, 2025
YouTubeTerence Tao
Lean4入门：引论篇
8.5K viewsMar 26, 2024
bilibilitimechess
1:30
Formalizing QFT: Machine-Checked Physics in Lean 4
2 months ago
YouTubeAI Research Roundup
3:52
AI Can’t Just Seem Right — It Has to Prove It. Enter Lean4
1 views6 months ago
YouTubeThe AI Pulse
11:17
Lean 4 formalization of 1964 International Mathemetical Olympiad Problem 1b
2.4K viewsJan 25, 2023
YouTubeDavid Renshaw
See more
Static thumbnail place holder