Doing a math assignment with the Lean theorem prover
Doing a math assignment with the Lean theorem prover
Apr 5, 2020
ahelwer.ca
Machines Are on the Verge of Tackling Fermat’s Last Theorem—a Proof That Once Defied Them
Machines Are on the Verge of Tackling Fermat’s Last Theorem—…
Mar 27, 2024
popularmechanics.com
Lean
21:30
Lean
Feb 15, 2023
Microsoft
Finding Loop Invariants Using a Theorem Prover
Finding Loop Invariants Using a Theorem Prover
Oct 31, 2009
Microsoft
Navier Stokes Equations Global Regularity Proof | Lean 4 Formal Verification of The GIGD Inequality
1:23
Navier Stokes Equations Global Regularity Proof | Lean 4 Formal V…
29 views1 month ago
YouTubeMohamed M Hassan
Four Principles – Lean Manufacturing & TPM
3:17
Four Principles – Lean Manufacturing & TPM
33.4K viewsAug 28, 2017
YouTubeFour Principles
Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean
20:05
Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean
4.8K viewsNov 13, 2019
YouTubeEduardo Cavazos
4:27
How to learn Lean programming language | Terence Tao and Lex Fr…
24.3K views10 months ago
YouTubeLex Clips
2:58
Lean 4 Real
17.3M viewsMay 10, 2018
YouTubePlayboi Carti - Topic
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
3.9K viewsNov 6, 2024
YouTubeZUCCMAP
11:27
Theorem no 4 chapter 9 class 10 maths | 10th class math ch 9 theor…
63.5K viewsDec 17, 2020
YouTubeAtif Ahmad Official
11:54
Introductory Proof with Lean 4 - Natural Numbers
18.3K viewsOct 4, 2022
YouTubeMathPom
1:04:05
[WITS'26] Lean4Lean: Mechanizing the Metatheory of Lean
114 views2 months ago
YouTubeACM SIGPLAN
46:17
Lean mean analysis machine | Lean Stream | February 7 2026
394 views2 months ago
YouTubeK-Theory
52:19
2026.02.10, Seonghun Park (박성훈), Formalizing Flag Algebras in the L…
2 views2 months ago
YouTubeIBS Discrete Mathematics Group
Lean Together 2019-2021
1.2K viewsJan 14, 2021
bilibiliTeichmuller
57:14
Reading "Theorem Proving in Lean 4" for Koreans - Chap. 7, (11) Tacti…
55 views4 months ago
YouTubeBulhwi Cha (차불휘)
1:11:47
Mario Carneiro - Lean4Lean: Towards a Verified Typechecker f…
465 viewsFeb 7, 2025
bilibili筑桥者Hagi
4:32
为好奇的数学家准备的Lean prover研讨会, 2020
1.7K viewsJul 25, 2020
bilibiliTeichmuller
2:03:36
Lean Together 2021_ An overview of Lean 4
28 viewsDec 26, 2023
bilibiliflamencozero
19:12
Lean 4 中文入门 —— 第一讲：Type Theory
13.3K viewsAug 2, 2023
bilibili凉宫百合子
1:02:43
【逻辑与数学基础讲座】Interactive theorem proving and the Lean the…
1.1K viewsApr 13, 2021
bilibili武汉大学哲学学院
0:44
AI News Today: Top AI Breakthroughs and Updates — Mo…
1 week ago
YouTubeAI NEWS
47:22
Make It Formal Podcast: The Creator of Lean on AI, Proof, and the Futur…
166 views1 month ago
YouTubeLatinum AI
12:22
GPT-5.4 Still Can't Answer Correctly to My Question
81 views1 month ago
YouTube차불휘(Bulhwi Cha)
1:30
Formalizing QFT: Machine-Checked Physics in Lean 4
4 weeks ago
YouTubeAI Research Roundup
4:07
Python Itself Is Not a Proof Language
350 views1 month ago
YouTube차불휘(Bulhwi Cha)
14:36
Diagnosing Lean Conditions
232.3K viewsDec 11, 2020
YouTubeBlueDriver
13:37
Rolle’s Theorem Proof
25.8K viewsDec 16, 2019
YouTubeDr Peyam
7:40
LEI's Lean Transformation Framework Animated
177.5K viewsJul 23, 2015
YouTubeLean Enterprise Institute
See more videos
Static thumbnail place holder