The Complete Guide to Lean Software Development
2:29
The Complete Guide to Lean Software Development
8.8K viewsFeb 7, 2022
YouTubePixelCrayons
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
10.3K viewsFeb 15, 2023
YouTubeCertora
What is Lean Software Development and What are Its Seven Principles
3:47
What is Lean Software Development and What are Its Seven Principles
3.2K viewsAug 12, 2024
YouTubeImaginovation
Lean Software Development (How does Lean apply to Software Development?)
11:16
Lean Software Development (How does Lean apply to Software Development?)
1.2K viewsJun 1, 2022
YouTubeEMS Consulting Group
PLSE: Leonardo de Moura, "The Lean Theorem Prover"
1:02:03
PLSE: Leonardo de Moura, "The Lean Theorem Prover"
4.3K viewsApr 28, 2016
YouTubePaul G. Allen School
What On Earth Is Lean? (The Language That Proves Math)
7:30
What On Earth Is Lean? (The Language That Proves Math)
200 views3 weeks ago
YouTubeDimitrii's Lab
What is Lean?
0:38
What is Lean?
1.5K views3 months ago
YouTubeSimons Foundation
12:10
Implementing the 5 Core Lean Principles.
15.5K viewsSep 18, 2020
YouTubeAcademic Gain Tutorials
0:53
Using Library | Lean 4 Theorem Prover #2 | Subtitles Available🌏
3 views2 months ago
YouTubeJasminlean
1:18:27
How to Prove it with Lean
2.8K viewsApr 25, 2023
YouTubeAlexandre Rademaker
6:36
Introduction to Lean Thinking (2017)
117.5K viewsJan 13, 2017
YouTubeGemba Academy
20:50
Let's code math | Lean4 | Theorem prover
29.1K viewsJul 30, 2024
YouTubeSplience
13:34
LEAN Model in Software Engineering | Class 11 New Syllabus
160 views10 months ago
YouTubeCS Concepts
8:29
What are the LEAN Principles (Complete INTRO)
2.3K viewsJan 31, 2019
YouTubeChad Burroughs
3:35
Proof of " a x b x c = b x (a x c) "💻 | Lean 4 Theorem Prover #1 | Subtitles Available🌏
36 views2 months ago
YouTubeJasminlean
0:31
How OpenAI Verifies Math: Ten-Proofs in Lean 4
26 views2 months ago
YouTubeLookOnThisGit
0:16
Proof of "a x b x c = b x ( a x c)" #lean #programming #mathematics
259 views2 months ago
YouTubeJasminlean
57:41
Lean Tutorial
1K viewsApr 7, 2025
YouTubeSimons Institute for the Theory of Computing
24:43
Agile Models & Lean vs Agile Principles | Agile Manifesto Explained | Software Engineering
37 views5 months ago
YouTubeAhsan Ashfaq
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura
1.9K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
1:24:35
Lean AI: A New Way to Learn, Practice, and Apply Lean Thinking
2.9K viewsSep 17, 2025
YouTubeLean Enterprise Institute
16:55
Lec-1.3: Scrum vs Lean Model | Agile Frameworks Explained with Diagrams | 11th Class CS 2025
138 viewsMay 8, 2025
YouTubeCS & AI Learning with Arfan Wazeer | PhD Scholar
13:24
I tried Super Useful Future Tech! (That you can use Today)
242.9K views2 months ago
YouTubeGreatScott!
21:30
Lean
Feb 15, 2023
Microsoft
28:04
COMPUTER TRAINING FOR BEGINNERS || LESSON 1
1M viewsFeb 27, 2024
YouTubeFLOURISH ICT ACADEMY
18:12
Exploring How Computers Work
4.1M viewsNov 16, 2020
YouTubeSebastian Lague
3:20
Clarifying the '5 Whys' Problem-Solving Method
685.1K viewsJul 19, 2018
YouTubeLean Enterprise Institute
1:02:08
NYC Club Bangers Hip‑Hop/Rap Mix 2025 🔥 | 50 Cent • Jay‑Z • DMX • Pop Smoke
179.3K viewsApr 25, 2025
YouTubeSUPREMACY SOUNDS
11:01:51
Master Ethical Hacking Full Course in 11 Hours | Ethical Hacking For Beginners
66.4K views5 months ago
YouTubewhitesec cyber security
35:31
What is Agile? | Agile Methodology | Agile Frameworks - Scrum, Kanban, Lean, XP, Crystal | Edureka
1.8M viewsAug 2, 2019
YouTubeedureka!
18:55
Gödel's Incompleteness Theorem - Computerphile
104.2K viewsAug 5, 2025
YouTubeComputerphile
31:47
How Mathematicians can Get Started with Lean
23.8K viewsFeb 27, 2025
YouTubeAlex Kontorovich
33:35
Lean Overview / Lean Manufacturing Overview - Video #1 of 36. Lean Training System Module (Phase 2)
9.7K viewsSep 4, 2020
YouTubeVelaction Continuous Improvement
6:32
2 Second Lean in Germany - Breaking Down a Process
57.8K viewsAug 25, 2015
YouTubeFastCapLLC
59:11
Ses 1-4 | MIT 16.660 Introduction to Lean Six Sigma Methods, January (IAP) 2008
83.5K viewsJul 10, 2009
YouTubeMIT OpenCourseWare
2:37
Lean - 5S
46.4K viewsDec 20, 2016
YouTubeLean 6 Sigma
24:29
Lean Manufacturing: The Path to Success with Paul Akers (Pt. 2)
211.4K viewsFeb 19, 2020
YouTubeUpFlip
7:12
Learn How Kanban Systems are Used in a Lean Manufacturing Environment
252.2K viewsMar 2, 2012
YouTubeGemba Academy
6:32
Introduction to 5S Methodology Training (2025)
37.9K viewsFeb 25, 2025
YouTubeLean Smarts
5:35
Lean Management: The Benefits and Why Your Business Needs It
28.8K viewsMar 2, 2023
YouTubeActiveCollab TV
7:15:19
Computer Basics, Word, Excel & PowerPoint | ሙሉ ስልጠና ለጀማሪዎች
27.5K views8 months ago
YouTubeAdnakot Tube
57:16
Computer Basic in One Shot in Just 1 Hrs | Complete Computer Basic Tutorial | Computer Tech Academy
16K views3 months ago
YouTubeComputer Tech Academy
5:01
What is Lean Project Management? Project Management in Under 5
44.2K viewsMar 8, 2018
YouTubeOnline PM Courses - Mike Clayton
6:20
The Simple Lean Operating System (Daily 3S, Improvement, & Meeting)
10.5K viewsFeb 23, 2018
YouTubeLean Smarts
2:37
What Is Lean Manufacturing? 5 Principles Explained!
6.9K viewsSep 4, 2024
YouTubeTRADESAFE
1:05:10
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
4.8K viewsApr 9, 2025
YouTubeSimons Institute for the Theory of Computing
14:18
How to learn computer from zero for beginners step-by-step
3.5K viewsOct 6, 2024
YouTubeMidiamart Classic TV
1:03:29
What Happens to Software When Proof is Cheap?
8.6K views6 months ago
YouTubePaul G. Allen School
0:41
What is a truth machine?
1.3K views4 months ago
YouTubeSimons Foundation
【Al 4 math & micro 预备知识】Lean入门1：内核、类型、十个 tactic
704 views2 months ago
bilibili霍夫曼消除
1:00
Symbols in Lean 4 #lean #mathematics #programming
2 views2 months ago
YouTubeJasminlean
31:41
STANDARD WORK OVERVIEW - Video #19 of 36. Lean Training System Module (Phase 4)
11.7K viewsNov 30, 2020
YouTubeVelaction Continuous Improvement
1:06:32
Lean Stream | The Analysis Game 1 | December 18 2025
954 views10 months ago
YouTubeK-Theory
7:14
How Claude AI Finally "Solved" Fermat’s Last Theorem in 2026 | Formalization Challenge
2 weeks ago
YouTubeMath Travel
0:58
Proof of "a x b x c = b x c x a " #lean #programming #mathematics
7 views2 months ago
YouTubeJasminlean
2:45
Lean and the 5 essential principles of Lean
19.7K viewsSep 13, 2015
YouTubeLearn6Sigma.com
10:18
Overview of Lean
5.6K viewsJan 6, 2021
YouTubeLean Strategies International LLC
5:23
1.1 LEAN Principles
11.1K viewsFeb 3, 2017
YouTubeStatistics made easy by JD
1:01
5 principles of Lean
3.2K viewsJul 30, 2018
YouTubeEfficiency Works – Lean Consulting & Training
2:52
OpenAI’s Unreleased Model Produced 10 Original Math Results
160 views2 months ago
YouTubeTom
See more
Static thumbnail place holder