Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challe…
4.2K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Is This the End of Handwritten Math? Introducing Lean
34:35
Is This the End of Handwritten Math? Introducing Lean
55.4K views6 months ago
YouTubeAnk Yog
How to learn Lean 4 proof assistant?
0:18
How to learn Lean 4 proof assistant?
5K views6 months ago
YouTubeThe Honest Torus
UNM CS Colloquium The Lean Proof Assistant: Past, Present, and Future
1:04:35
UNM CS Colloquium The Lean Proof Assistant: Past, Present, and Future
26 views3 weeks ago
YouTubeJosé Abel Castellanos Joo
Lean Dominates Proof Assistants: Usability Wins the War! #shorts
2:15
Lean Dominates Proof Assistants: Usability Wins the War! #shorts
2.1K views4 months ago
YouTubeType Theory Forall
1. Interactive theorem proving with Lean - DAHMEN Sander, Vrije Universiteit Amsterdam
1:19:57
1. Interactive theorem proving with Lean - DAHMEN Sander, Vrije Univ…
19 views2 weeks ago
YouTubeCOGENT Doctoral Network
About Lean programming Language
0:53
About Lean programming Language
319 views10 months ago
YouTubeVLR Training
33:09
The Best New Programming Language is a Proof Assistant by …
8.7K views10 months ago
YouTubeAntithesis
1:40:03
Math Talk! Dr Kevin Buzzard, Langlands, diversity, and proof as…
3.6K viewsAug 3, 2022
YouTubeK-Theory
2:53
big brain giga chad mentat #lean #proof #mathemtics #maths #scie…
6.1K views4 months ago
YouTubeK-Theory
18:55
Gödel's Incompleteness Theorem - Computerphile
100.4K views9 months ago
YouTubeComputerphile
1:03:10
Alex J Best: Aristotle, an AI theorem prover using Lean (29 January 2026)
243 views3 months ago
YouTubeFormalisation of Mathematics Seminar @ Cam
35:32
Problem set 3-4 | Lean Stream | January 26 2026
191 views3 months ago
YouTubeK-Theory
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
4.1K viewsNov 6, 2024
YouTubeZUCCMAP
42:08
Formalizing a proof in Lean using Github Copilot only
19K viewsMay 17, 2025
YouTubeTerence Tao
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathemat…
4.9K viewsSep 7, 2023
YouTubeTopos Institute
3:03
How Do Proof Assistants Help in Theorem Proving?
2 views5 months ago
YouTubeLearn To Troubleshoot
1:33
Neal: Your Lean Thinking Assistant | How It Works | Continua Labs
99 views3 months ago
YouTubeContinua Labs
4:27
How to learn Lean programming language | Terence Tao and Lex Fr…
24.6K views11 months ago
YouTubeLex Clips
57:43
Episode 396 - lean Ethereum Part 6: Formal Verification with Alex Hicks
361 views1 month ago
YouTubeZero Knowledge
21:30
Lean
Feb 15, 2023
Microsoft
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Softwar…
1.3K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
5:37
Rich of Peak or Lean of Peak? | G1000 Lean Assist Explained
15.3K viewsMay 6, 2025
YouTubeFlightInsight
2:00:56
Lean 4 Math/Physics/LLM --Xingyu REN
473 views7 months ago
bilibili夏山-繁树
1:00:32
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - …
9.1K viewsDec 17, 2024
YouTubeDeFi Security Summit - DSS
24:24
Harry Goldstein - Metaprogramming the Next Generation of Testing To…
272 views3 months ago
YouTubeleanprover community
39:06
Human and AI Solution Paths in Formalizing Expert Mathematics | …
12 views1 week ago
YouTubeIVADO
9:12
Operator Theory
3 views1 week ago
YouTubeTaylor Buley
3:25
How Do Proof Assistants Support Theorem Proving?
11 views4 months ago
YouTubeLearn To Troubleshoot
1:59:02
Yury Kudryashov : Lean prover and its uses with AI for solving math p…
160 views7 months ago
YouTubealexander shen
See more videos
Static thumbnail place holder