Prof. Jeremy Avigad | The Lean Theorem Prover
1:07:25
Prof. Jeremy Avigad | The Lean Theorem Prover
61 views4 months ago
YouTubeINI Seminar Room 2
10 minute Lean tutorial : proving logical propositions
7:53
Find in video from 00:19Proving Logical Propositions in Lean Tactic Mode
10 minute Lean tutorial : proving logical propositions
44.5K viewsApr 12, 2020
YouTubeXena Project
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
1:00:32
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - …
8.2K viewsDec 17, 2024
YouTubeDeFi Security Summit - DSS
Infinitude of primes --- a Lean theorem prover demo
23:35
Find in video from 04:00Proving the Theorem
Infinitude of primes --- a Lean theorem prover demo
38.3K viewsJul 13, 2020
YouTubeleanprover community
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
1:18:08
Find in video from 01:02Overview of Lean 4
Seminar: Introduction to the Lean 4 theorem prover and programming …
9.8K viewsFeb 15, 2023
YouTubeCertora
Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026)
24:07
Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together …
687 views2 months ago
YouTubeleanprover community
Proof, Provers, and the Lean Theorem Prover - Summer Special!
1:20:39
Find in video from 28:27Lean Theorem Prover
Proof, Provers, and the Lean Theorem Prover - Summer Special!
2.8K viewsAug 12, 2021
YouTubeData Science Cornwall
1:34:26
Math and Machine Learning Program 10/15/24 | Tutorial on the …
2.2K viewsOct 18, 2024
YouTubeHarvard CMSA
1:12:08
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive …
869 viewsNov 26, 2021
YouTubeParker Glynn-Adey
31:47
How Mathematicians can Get Started with Lean
15.1K viewsFeb 27, 2025
YouTubeAlex Kontorovich
1:03:10
Alex J Best: Aristotle, an AI theorem prover using Lean (29 January 2026)
187 views2 months ago
YouTubeFormalisation of Mathematics Seminar @ Cam
1:27
Lean theorem prover #math #stem #tech #learnontiktok #computersc…
45.1K viewsOct 26, 2023
TikTokaverage_joe_mcc
3:54
Seed-Prover 1.5: Lean Theorem Proving
94 views4 months ago
YouTubeAI Research Roundup
1:59:02
Yury Kudryashov : Lean prover and its uses with AI for solving math p…
160 views6 months ago
YouTubealexander shen
1:30
Formalizing QFT: Machine-Checked Physics in Lean 4
1 month ago
YouTubeAI Research Roundup
14:41
Using the Lean Theorem Prover on CoCalc with VS Code and a Comp…
376 viewsMay 10, 2024
YouTubeCoCalc by SageMath, Inc.
Lean Together 2019-2021
1.2K viewsJan 14, 2021
bilibiliTeichmuller
Doing a math assignment with the Lean theorem prover
Apr 5, 2020
ahelwer.ca
20:50
Let's code math | Lean4 | Theorem prover
24.3K viewsJul 30, 2024
YouTubeSplience
8:21
DeepSeek Prover-V2 7B: Formal Theorem Proving in Lean 4 - Instal…
2.1K views11 months ago
YouTubeFahd Mirza
16:39
lean-auto (Yicheng Qian at Computer Aided Verification 2025)
506 views7 months ago
YouTubeleanprover community
1:04:05
[WITS'26] Lean4Lean: Mechanizing the Metatheory of Lean
114 views2 months ago
YouTubeACM SIGPLAN
1:14:48
Find in video from 27:27Undergraduate Lean
The Future of Mathematics?
114.5K viewsOct 1, 2019
YouTubeMicrosoft Research
21:30
Lean
Feb 15, 2023
Microsoft
8:47
Find in video from 01:23The Concept of Theorem Proving
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
17.8K viewsJun 26, 2024
YouTubeDavid Renshaw
49:35
Alex Gu | LeanDojo: Theorem Proving with Retrieval-Augmente…
2K viewsOct 11, 2023
YouTubeHarvard CMSA
9:50
Logic in Lean, video 1 (logical implication)
6.2K viewsOct 4, 2021
YouTubeXena Project
52:19
2026.02.10, Seonghun Park (박성훈), Formalizing Flag Algebras in the L…
2 views2 months ago
YouTubeIBS Discrete Mathematics Group
1:02:46
[MERL Seminar Series Spring 2026] Proving and Improving: Languag…
25 views1 month ago
YouTubeMitsubishi Electric Research Laboratories (MERL)
29:01
Find in video from 09:17Macro Showcase: leanprover/doc-gen4
Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)
3.7K viewsNov 14, 2022
YouTubeRacket
See more videos
Static thumbnail place holder