Learning To Code In Lean 4 With A Friend: Starting Out
50:59
YouTubeRichard Southwell
Learning To Code In Lean 4 With A Friend: Starting Out
My friend Avi Cramer and I start learning the Lean 4 functional programming language. This time we cover the basics like installing the language, evaluating arithmetic expressions, type checking and function definitions. The plan is to build towards more advanced topics like recursion, dependent type theory and theorem proving. Installation ...
9.4K viewsOct 23, 2023
Shorts
About Lean programming Language
0:53
319 views
About Lean programming Language
VLR Training
Inside the LLM Token Generation Process #ai #llm
1:09
20.7K views
Inside the LLM Token Generation Process #ai #llm
CodersAura
Lean Startup
THE LEAN STARTUP SUMMARY (BY ERIC RIES)
13:42
THE LEAN STARTUP SUMMARY (BY ERIC RIES)
YouTubeThe Swedish Investor
874.4K viewsFeb 3, 2019
THE LEAN STARTUP Explained Simply: Build, Measure, Learn
5:31
THE LEAN STARTUP Explained Simply: Build, Measure, Learn
YouTubeGrow Business
3 months ago
The Lean Startup Explained | How to Build the Right Thing (In 20 Minutes)
19:10
The Lean Startup Explained | How to Build the Right Thing (In 20 Minutes)
YouTubeThe Better Version Book Club
6.5K views3 months ago
Top videos
How to learn Lean programming language | Terence Tao and Lex Fridman
4:27
How to learn Lean programming language | Terence Tao and Lex Fridman
YouTubeLex Clips
24.6K views11 months ago
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
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
YouTubeCertora
10K viewsFeb 15, 2023
Lean Six Sigma
Six Sigma Explained in 6 Minutes | Lean Six Sigma Basics with an Award-Winning Expert
5:24
Six Sigma Explained in 6 Minutes | Lean Six Sigma Basics with an Award-Winning Expert
YouTubeSix Sigma Global Institute
9K viewsFeb 11, 2025
Six Sigma Full Course 2025 | Six Sigma Tutorial For Beginners | Six Sigma Training | Simplilearn
4:43:58
Six Sigma Full Course 2025 | Six Sigma Tutorial For Beginners | Six Sigma Training | Simplilearn
YouTubeSimplilearn
4.4K views7 months ago
Lean Six Sigma Project Example with DMAIC - Green Belt Training
20:07
Lean Six Sigma Project Example with DMAIC - Green Belt Training
YouTubeSix Sigma Global Institute
81.8K viewsMay 9, 2024
How to learn Lean programming language | Terence Tao and Lex Fridman
4:27
How to learn Lean programming language | Terence Tao and Lex Frid…
24.6K views11 months ago
YouTubeLex Clips
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)
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 lan…
10K viewsFeb 15, 2023
YouTubeCertora
Getting Started with Lean Programming Language in Visual Studio Code
7:42
Getting Started with Lean Programming Language in Visual Stu…
3.7K viewsJun 6, 2022
YouTubeChris
About Lean programming Language
0:53
About Lean programming Language
319 views11 months ago
YouTubeVLR Training
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
18K 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
8:21
How Terence Tao uses AI with Lean programming language | Terence Ta…
23.4K views11 months ago
YouTubeLex Clips
7:53
10 minute Lean tutorial : proving logical propositions
46.4K viewsApr 12, 2020
YouTubeXena Project
21:30
Lean
Feb 15, 2023
Microsoft
9:41
Learn To Code Like a GENIUS and Not Waste Time
3.1M viewsDec 21, 2023
YouTubeThe Coding Sloth
10:44
The Only Programming Languages Worth Learning in 2026
118.9K views4 months ago
YouTubeTech With Tim
4:49
How to Learn Coding FAST And Make Cool Stuff ( Beginner's Roadmap)
19.7K views5 months ago
YouTubeMythStack
1:24:35
Lean AI: A New Way to Learn, Practice, and Apply Lean Thinking
1.8K views8 months ago
YouTubeLean Enterprise Institute
6:08
Learning Lean in the Age of Artificial Intelligence
1.3K viewsApr 4, 2025
YouTubeElixir, Erlang, the BEAM (and Lean)
24:52
How to Start Coding ? Learn Programming for Beginners | 2026
797.7K views4 months ago
YouTubeApna College
3:17:20
Visual Basic (VB.NET) – Full Course for Beginners
1.3M viewsJun 13, 2022
YouTubefreeCodeCamp.org
22:37
Learn Any Programming Language In 3 Hours!
725.5K viewsJun 14, 2024
YouTubeHuwsTube
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software V…
1.3K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
1:59:09
Introduction to Programming and Computer Science - Full Course
11.1M viewsApr 21, 2020
YouTubefreeCodeCamp.org
11:05
How to Start Coding? Learn Programming for Beginners
9.9M viewsJan 25, 2022
YouTubeApna College
11:15
How To Study Programming The Lazy Way
1.2M viewsSep 19, 2024
YouTubeThe Coding Sloth
33:08
How to Start Coding | Programming for Beginners | Learn Coding | Intellipaat
11.1M viewsFeb 25, 2020
YouTubeIntellipaat
2:17
5S Lean Methodology - Lesson 1 - What is 5S in Lean
45.3K viewsDec 12, 2019
YouTubeLeanVlog
8:50
FASTEST Way to Learn Coding and ACTUALLY Get a Job
7M viewsMar 19, 2022
YouTubeSahil & Sarra
1:31:20
Lecture 1 - Introduction (Model Checking)
9.6K viewsMay 30, 2019
YouTubesong song
5:06
Understanding Lean Software Development Principles #LeanSoftw…
139 viewsOct 14, 2024
YouTubeTECH TALK WITH RITESH
11:16
Lean Software Development (How does Lean apply to Software Develop…
1.2K viewsJun 1, 2022
YouTubeEMS Consulting Group
See more videos
Static thumbnail place holder

Short videos

0:53
About Lean programming Language
319 views11 months ago
YouTubeVLR Training
1:09
Inside the LLM Token Generation Process #ai #llm
20.7K views3 weeks ago
YouTubeCodersAura
1:58
LLM Engineer Roadmap 2026 | LLM Engineer Skills, Salary, a…
3.3K views3 weeks ago
YouTubeSimplilearn
0:08
How to Start Coding for Beginners 🚀 | Complete Roadm…
2.3K views4 weeks ago
YouTubeCodalvo
1:06
Coding Basics Starter Pack 💻🚀 | Learn Programming the Righ…
2.4K views2 months ago
YouTubeCodehunters
2:51
"The original motivation for creating Lean was software v…
516 viewsMay 18, 2025
YouTubeElixir, Erlang, the BEAM (and Lean)
0:48
Lean Software Development
84 views4 months ago
YouTubeHKSM
0:54
Best Coding Roadmap for 2026 🚀 Learn This to Get Hired Fast
9.7K views2 weeks ago
YouTubeIntellipaat
0:06
🔥MLOps Engineer Roadmap in 2026 | How to become MLOp…
14.5K views2 months ago
YouTubeSimplilearn
0:55
Stop Doing Lean Wrong — It’s a SYSTEM #podcastclips #lean…
121 views4 months ago
YouTubeMark Graban
0:27
The Future of Coding: Does Programming Language Still …
6 views7 months ago
YouTubeMindBinge
0:17
Why Angular Ditched Their Own Language for TypeScrip…
487 views3 weeks ago
YouTubeHeroDevsTV
2:56
Episode 2.3: Lean Startup Methodology For Operations
175 views10 months ago
YouTubeEmmanuel Bakare
0:10
Web Dev vs Software Dev vs Machine Learning | Best Prog…
8.1K views6 months ago
YouTubeReenu Suryawanshi
0:57
Complete Roadmap to Learn Programming Language Step …
143 views6 months ago
YouTubeStudy Learn
1:05
Lean Production in Business: Cutting Waste, Boosting Value
25 views3 months ago
YouTubeBusiness simplified
1:04
Model Fine-Tuning vs RAG 🤔 #finetune #llm #model #codi…
1.5K views2 months ago
YouTubeTek Logs
0:07
🚀 Fastest Way to Learn Programming! Zero to Pro in …
2.2K views6 months ago
YouTubeBright Future HUB
1:44
Why VS Code was Built?
181 views4 months ago
YouTubeDevSkills
0:30
Computer Science Roadmap 2026 #coders
1.7K views4 months ago
YouTubeFineGap
Static thumbnail place holder