Lean
21:30
Lean
Feb 15, 2023
Microsoft
Lean Manufacturing - Pull Systems
4:05
Lean Manufacturing - Pull Systems
295.2K viewsMay 20, 2020
YouTubeVector Solutions Industrial
Four Principles - Lean in Administration
2:24
Four Principles - Lean in Administration
87.7K viewsAug 30, 2017
YouTubeFour Principles
The Coq Proof Assistant, and Logical Foundations
20:29
The Coq Proof Assistant, and Logical Foundations
1.8K viewsDec 3, 2022
YouTubeTea Leaves
AI Isn’t Coming, It’s Already Here
0:31
AI Isn’t Coming, It’s Already Here
141 views2 months ago
YouTube
Lean 4 Real
2:58
Lean 4 Real
17M viewsMay 10, 2018
YouTubePlayboi Carti - Topic
RANKING 2025 SHEGLAM Lip Products!💋
0:43
RANKING 2025 SHEGLAM Lip Products!💋
11.3K viewsFeb 7, 2025
YouTubeJackie Wyers
50:41
Mr. Floris van Doorn | Homotopy Type Theory in Lean
13 views2 months ago
YouTubeINI Seminar Room 1
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
3.6K viewsNov 6, 2024
YouTubeZUCCMAP
18:55
Gödel's Incompleteness Theorem - Computerphile
97.5K views7 months ago
YouTubeComputerphile
42:53
Lean Stream | More analysis, more game | December 26 2025
238 views2 months ago
YouTubeK-Theory
14:26
UPSSSC JUNIOR ASSISTANT 3284 कट ऑफ 80 पार लेकिन अभी अ…
8.7K views3 weeks ago
YouTubeSUCCESS MANTRA BY DEEPAK RAI
11:54
Introductory Proof with Lean 4 - Natural Numbers
17.3K viewsOct 4, 2022
YouTubeMathPom
25:04
DeepSeek-Prover-V1.5: Theorem proofs? Cracked. Next!🎲
351 viewsJan 29, 2025
YouTubeRibbit Ribbit - Discover Research The Fun Way
39:21
Reading "Theorem Proving in Lean 4" for Koreans - Chap. 7, (14) Mutu…
59 views3 months ago
YouTubeBulhwi Cha (차불휘)
33:09
The Best New Programming Language is a Proof Assistant by …
690 views8 months ago
bilibili帆影
5:01
T Kanimozhi Assistant Professor MBA Lean manufacturing DrSNSR…
7 views5 months ago
YouTubeKanimozhi T.
57:14
Reading "Theorem Proving in Lean 4" for Koreans - Chap. 7, (11) Tacti…
17 views2 months ago
YouTubeBulhwi Cha (차불휘)
Lean Together 2019-2021
1.2K viewsJan 14, 2021
bilibiliTeichmuller
19:12
Lean 4 中文入门 —— 第一讲：Type Theory
12.4K viewsAug 2, 2023
bilibili凉宫百合子
4:32
为好奇的数学家准备的Lean prover研讨会, 2020
1.7K viewsJul 25, 2020
bilibiliTeichmuller
Đột phá về Toán học, Vật lý, Khoa học máy tính trong năm 2020
Mar 5, 2021
voz.vn
2:25:02
Pure Mathematician: There's a Perfect World Most People Will Ne…
115 views1 week ago
YouTubeVidak Rajovic
7:31
AI Math Whiz - AxiomProver
3 weeks ago
YouTubeThe Adaptable Educator
26:53
[POPL'26] Extensible Data Types with Ad-Hoc Polymorphism
1 month ago
YouTubeACM SIGPLAN
41:24
Progress! | Lean Stream | January 25 2026
280 views1 month ago
YouTubeK-Theory
12:32
GPT 5 math Breakthrough: How Solving An Open Geometry Optimi…
52 views2 months ago
YouTubeBinary Verse AI
21:48
[CPP'26] Formalization of a Proof Calculus for Incremental Lineariza…
1 month ago
YouTubeACM SIGPLAN
14:21
How Google DeepMind’s AI Won Silver at the Math Olympiad
36 views1 month ago
YouTubeCompuFlair
54:33
Learning Lean 4 via The Incredible Proof Machine
41 views2 months ago
YouTubeTea Leaves
See more videos
Static thumbnail place holder