How to learn Lean programming language | Terence Tao and Lex Fridman
4:27
YouTubeLex Clips
How to learn Lean programming language | Terence Tao and Lex Fridman
Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening Check out our sponsors: https://lexfridman.com/sponsors/cv8965-sb See below for guest bio, links, and to give feedback, submit questions, contact Lex, etc. *GUEST BIO:* Terence Tao is widely considered to be one of the greatest mathematicians ...
26.6K views11 months ago
Shorts
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
1:18:08
10K views
Seminar: Introduction to the Lean 4 theorem prover and programming language by
Certora
About Lean programming Language
0:53
343 views
About Lean programming Language
VLR Training
Lean Startup
New GLP-1 Data Just Changed the Muscle Loss Story
1:22
New GLP-1 Data Just Changed the Muscle Loss Story
YouTubeNick Norwitz MD PhD
37.2K views1 month ago
👆Watch this video to learn how to get lean FAST 📝💪🏆
0:56
👆Watch this video to learn how to get lean FAST 📝💪🏆
YouTubeLean Body Accelerator
1.8M views2 months ago
Come check the 4 most effective Pilates Exercises to get results 🍑 #challenge #fitness #lillysabri
0:18
Come check the 4 most effective Pilates Exercises to get results 🍑 #challenge #fitness #lillysabri
YouTubeLilly Sabri
25.1K views1 month ago
Top videos
Learning To Code In Lean 4 With A Friend: Starting Out
50:59
Learning To Code In Lean 4 With A Friend: Starting Out
YouTubeRichard Southwell
9.4K viewsOct 23, 2023
An introduction to Lean 4, a functional programming language
17:55
An introduction to Lean 4, a functional programming language
YouTubeElixir, Erlang, the BEAM (and
13.1K viewsNov 19, 2021
Getting Started with Lean Programming Language in Visual Studio Code
7:42
Getting Started with Lean Programming Language in Visual Studio Code
YouTubeChris
3.7K viewsJun 6, 2022
Lean Six Sigma
Retatrutide: Why Muscle Loss Data Doesn’t Match Real Life
2:05
Retatrutide: Why Muscle Loss Data Doesn’t Match Real Life
YouTubeNick Norwitz MD PhD
34.7K views1 month ago
Do these 3 things to frame mog… and no, you can’t “keep your waist lean” without being lean overall!
1:20
Do these 3 things to frame mog… and no, you can’t “keep your waist lean” without being lean overall!
TikTokx_gainz
40.4K views2 weeks ago
How Did Michael Jackson Defy Gravity With That Impossible Lean⁉️ #MichaelJackson #viralshorts
0:30
How Did Michael Jackson Defy Gravity With That Impossible Lean⁉️ #MichaelJackson #viralshorts
YouTubeButchokoy Diary
153.9K views1 month ago
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
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 Programming Language in Visual Studio Code
7:42
Getting Started with Lean Programming Language in Visual Studio Code
3.7K viewsJun 6, 2022
YouTubeChris
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
About Lean programming Language
0:53
About Lean programming Language
343 views11 months ago
YouTubeVLR Training
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
18.3K viewsFeb 27, 2025
YouTubeAlex Kontorovich
The Complete Guide to Lean Software Development
2:29
The Complete Guide to Lean Software Development
8.7K viewsFeb 7, 2022
YouTubePixelCrayons
4:46
How To Learn Programming for BEGINNERS! (2022/2023)
8M viewsNov 4, 2018
YouTubeCroatCode
4:49
How to Learn Coding FAST And Make Cool Stuff ( Beginner's Roadmap)
19.7K views5 months ago
YouTubeMythStack
10:44
The Only Programming Languages Worth Learning in 2026
120.2K views4 months ago
YouTubeTech With Tim
7:53
10 minute Lean tutorial : proving logical propositions
46.4K viewsApr 12, 2020
YouTubeXena Project
8:21
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman
23.4K views11 months ago
YouTubeLex Clips
1:24:35
Lean AI: A New Way to Learn, Practice, and Apply Lean Thinking
1.8K views8 months ago
YouTubeLean Enterprise Institute
9:41
Learn To Code Like a GENIUS and Not Waste Time
3.1M viewsDec 21, 2023
YouTubeThe Coding Sloth
24:52
How to Start Coding ? Learn Programming for Beginners | 2026
816K views5 months ago
YouTubeApna College
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
6:08
Learning Lean in the Age of Artificial Intelligence
1.3K viewsApr 4, 2025
YouTubeElixir, Erlang, the BEAM (and Lean)
11:05
How to Start Coding? Learn Programming for Beginners
9.9M viewsJan 25, 2022
YouTubeApna College
1:59:09
Introduction to Programming and Computer Science - Full Course
11.2M viewsApr 21, 2020
YouTubefreeCodeCamp.org
22:37
Learn Any Programming Language In 3 Hours!
725.8K viewsJun 14, 2024
YouTubeHuwsTube
8:50
FASTEST Way to Learn Coding and ACTUALLY Get a Job
7M viewsMar 19, 2022
YouTubeSahil & Sarra
11:15
How To Study Programming The Lazy Way
1.2M viewsSep 19, 2024
YouTubeThe Coding Sloth
2:02:21
Python Full Course for Beginners
6.5M viewsFeb 12, 2025
YouTubeProgramming with Mosh
33:08
How to Start Coding | Programming for Beginners | Learn Coding | Intellipaat
11.1M viewsFeb 25, 2020
YouTubeIntellipaat
2:33:31
Learn Linux - The Full Course
722.6K viewsFeb 18, 2025
YouTubeBoot dev
3:17:20
Visual Basic (VB.NET) – Full Course for Beginners
1.3M viewsJun 13, 2022
YouTubefreeCodeCamp.org
1:31:20
Lecture 1 - Introduction (Model Checking)
9.7K viewsMay 30, 2019
YouTubesong song
2:17
5S Lean Methodology - Lesson 1 - What is 5S in Lean
45.3K viewsDec 12, 2019
YouTubeLeanVlog
11:16
Lean Software Development (How does Lean apply to Software Development?)
1.2K viewsJun 1, 2022
YouTubeEMS Consulting Group
See more
Static thumbnail place holder

Short videos

4:27
How to learn Lean programming language | Terence Tao and Lex Fridman
26.6K views11 months ago
YouTubeLex Clips
50:59
Learning To Code In Lean 4 With A Friend: Starting Out
9.4K viewsOct 23, 2023
YouTubeRichard Southwell
17:55
An introduction to Lean 4, a functional programming language
13.1K viewsNov 19, 2021
YouTubeElixir, Erlang, the BEAM (and
7:42
Getting Started with Lean Programming Language in Visual Studio Code
3.7K viewsJun 6, 2022
YouTubeChris
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming language by
10K viewsFeb 15, 2023
YouTubeCertora
0:53
About Lean programming Language
343 views11 months ago
YouTubeVLR Training
31:47
How Mathematicians can Get Started with Lean
18.3K viewsFeb 27, 2025
YouTubeAlex Kontorovich
2:29
The Complete Guide to Lean Software Development
8.7K viewsFeb 7, 2022
YouTubePixelCrayons
4:46
How To Learn Programming for BEGINNERS! (2022/2023)
8M viewsNov 4, 2018
YouTubeCroatCode
4:49
How to Learn Coding FAST And Make Cool Stuff ( Beginner's Roadmap)
19.7K views5 months ago
YouTubeMythStack
10:44
The Only Programming Languages Worth Learning in 2026
120.2K views4 months ago
YouTubeTech With Tim
7:53
10 minute Lean tutorial : proving logical propositions
46.4K viewsApr 12, 2020
YouTubeXena Project
8:21
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman
23.4K views11 months ago
YouTubeLex Clips
1:24:35
Lean AI: A New Way to Learn, Practice, and Apply Lean Thinking
1.8K views8 months ago
YouTubeLean Enterprise Institute
9:41
Learn To Code Like a GENIUS and Not Waste Time
3.1M viewsDec 21, 2023
YouTubeThe Coding Sloth
24:52
How to Start Coding ? Learn Programming for Beginners | 2026
816K views5 months ago
YouTubeApna College
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by
1.7K viewsJan 16, 2025
YouTubeConference on Computer
6:08
Learning Lean in the Age of Artificial Intelligence
1.3K viewsApr 4, 2025
YouTubeElixir, Erlang, the BEAM (and
11:05
How to Start Coding? Learn Programming for Beginners
9.9M viewsJan 25, 2022
YouTubeApna College
1:59:09
Introduction to Programming and Computer Science - Full Course
11.2M viewsApr 21, 2020
YouTubefreeCodeCamp.org
Static thumbnail place holder