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
Coding Basics Starter Pack 💻🚀 | Learn Programming the Right Way
1:06
2.2K views
Coding Basics Starter Pack 💻🚀 | Learn Programming the Right Way
Codehunters
Lean Startup
THE LEAN STARTUP SUMMARY (BY ERIC RIES)
13:42
THE LEAN STARTUP SUMMARY (BY ERIC RIES)
YouTubeThe Swedish Investor
870.9K viewsFeb 3, 2019
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
The Lean Startup Method - By Eric Ries - Animated Summary
7:38
The Lean Startup Method - By Eric Ries - Animated Summary
YouTubeSer - Hacer Mejor
303.8K viewsJul 10, 2017
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 views10 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
13K 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
Chapter 1: What is Lean Six Sigma?
4:52
Chapter 1: What is Lean Six Sigma?
YouTubeEli Vergara
48 views1 month ago
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
3.9K views6 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
79.6K 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 Fridman
24.6K views10 months ago
YouTubeLex Clips
An introduction to Lean 4, a functional programming language
17:55
An introduction to Lean 4, a functional programming language
13K 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
319 views10 months ago
YouTubeVLR Training
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
16.7K viewsFeb 27, 2025
YouTubeAlex Kontorovich
Metaprogramming Your IDE in Lean 4 with Harry Goldstein
41:19
Metaprogramming Your IDE in Lean 4 with Harry Goldstein
2.7K views4 months ago
YouTubeSoftware Unscripted Podcast
8:21
How Terence Tao uses AI with Lean programming language | Terence Tao and Lex Fridman
23.8K views10 months ago
YouTubeLex Clips
11:16
Lean Software Development (How does Lean apply to Software Development?)
1.2K viewsJun 1, 2022
YouTubeEMS Consulting Group
10:44
The Only Programming Languages Worth Learning in 2026
106.8K views3 months ago
YouTubeTech With Tim
0:26
Math & Programming Simple LEAN Protocol & Outcome Focused Approach!
2.3K views8 months ago
YouTubeAI Angle
47:15
Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
952 views11 months ago
YouTubeCompSciOxford
13:34
LEAN Model in Software Engineering | Class 11 New Syllabus
95 views4 months ago
YouTubeCS Concepts
0:27
The Future of Coding: Does Programming Language Still Matter?
6 views7 months ago
YouTubeMindBinge
3:17:20
Visual Basic (VB.NET) – Full Course for Beginners
1.3M viewsJun 13, 2022
YouTubefreeCodeCamp.org
9:41
Learn To Code Like a GENIUS and Not Waste Time
3M viewsDec 21, 2023
YouTubeThe Coding Sloth
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
4.1K viewsNov 6, 2024
YouTubeZUCCMAP
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura
1.3K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
6:08
Learning Lean in the Age of Artificial Intelligence
1.2K viewsApr 4, 2025
YouTubeElixir, Erlang, the BEAM (and Lean)
22:37
Learn Any Programming Language In 3 Hours!
723.9K viewsJun 14, 2024
YouTubeHuwsTube
51:10
Real World Lean Java Practices, Patterns, Hacks, and Workarounds
38.4K viewsMay 5, 2025
YouTubeJava
4:37
What is Lean UX? (A simple beginner's guide)
18.5K viewsMar 16, 2021
YouTubeRelab Studios
11:15
How To Study Programming The Lazy Way
1.2M viewsSep 19, 2024
YouTubeThe Coding Sloth
4:46
How To Learn Programming for BEGINNERS! (2022/2023)
7.9M viewsNov 4, 2018
YouTubeCroatCode
7:53
10 minute Lean tutorial : proving logical propositions
44.5K viewsApr 12, 2020
YouTubeXena Project
7:38
0.2: How and why should you learn Programming? - Processing Tutorial
157.3K viewsJul 10, 2015
YouTubeThe Coding Train
56:23
Dozuki Workshop: Goodyear's Guide To Lean Product Development
6.8K viewsFeb 26, 2015
YouTubeDozuki
6:44
4 Core Principles of Lean Product and Process Development (#LPPD) Explained
1.5K viewsJul 16, 2019
YouTubeLean Enterprise Institute
21:30
Lean
Feb 15, 2023
Microsoft
See more

Short videos

0:53
About Lean programming Language
319 views10 months ago
YouTubeVLR Training
1:06
Coding Basics Starter Pack 💻🚀 | Learn Programming the Right Way
2.2K views1 month ago
YouTubeCodehunters
0:06
🔥MLOps Engineer Roadmap in 2026 | How to become MLOps Engineer in 2026 ? #shorts
14.5K views1 month ago
YouTubeSimplilearn
0:48
Lean Software Development
84 views4 months ago
YouTubeHKSM
0:27
The Future of Coding: Does Programming Language Still Matter?
6 views7 months ago
YouTubeMindBinge
0:10
When you code one small thing and feel like a genius
27.2K views1 month ago
YouTubeZero To Mastery
1:04
Model Fine-Tuning vs RAG 🤔 #finetune #llm #model #coding #programming #ai
1.5K views1 month ago
YouTubeTek Logs
1:03
🎯How To Start Coding After 10th | Intellipaat
10.1K views2 months ago
YouTubeIntellipaat
0:49
The Power of Lean Manufacturing with the Groundbreaking 3S-ING
7K viewsFeb 7, 2023
YouTubeFastCapLLC
1:02
Learn Do While Loop & Its Time Complexity Fast! 🔥 #shorts #programmingbasics
546 views2 months ago
YouTubeCoding Basics
0:10
Web Dev vs Software Dev vs Machine Learning | Best Programming Languages to
8K views5 months ago
YouTubeReenu Suryawanshi
0:57
Complete Roadmap to Learn Programming Language Step by Step Guide for Beginners
143 views6 months ago
YouTubeStudy Learn
2:56
Episode 2.3: Lean Startup Methodology For Operations
175 views9 months ago
YouTubeEmmanuel Bakare
0:10
Join 50,000 learners 👨‍💻🔥 #coding #programming #learntocode #learncoding #duolingo
266.4K views1 month ago
TikToksideme.ai
0:32
Claude Opus 4.7 vs 4.6 🤯 #chatgpt #claude
8.3K views3 weeks ago
YouTubeAkshay Bavkar
0:07
Learning to code for the first time
15.6K views2 months ago
YouTubeZero To Mastery
0:30
Computer Science Roadmap 2026 #coders
1.7K views4 months ago
YouTubeFineGap
0:27
What is 2 Second Lean with Dr. Ken Mogi? #2secondlean #leader #Dr.KenMogi
1.3K viewsSep 12, 2023
YouTubePaul Akers
1:05
Lean Production in Business: Cutting Waste, Boosting Value
24 views2 months ago
YouTubeBusiness simplified
0:55
Stop Doing Lean Wrong — It’s a SYSTEM #podcastclips #leanthinking #kaizen
121 views3 months ago
YouTubeMark Graban