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
46.4K viewsApr 12, 2020
YouTubeXena Project
Formalizing a proof in Lean by hand
56:42
Formalizing a proof in Lean by hand
39.5K viewsMay 25, 2025
YouTubeTerence Tao
Formalizing a proof in Lean using Claude and o4
31:45
Formalizing a proof in Lean using Claude and o4
50.3K viewsMay 13, 2025
YouTubeTerence Tao
Math and Machine Learning Program 10/15/24 | Tutorial on the Lean theorem prover
1:34:26
Math and Machine Learning Program 10/15/24 | Tutorial on the Lean theor…
2.3K viewsOct 18, 2024
YouTubeHarvard CMSA
Is This the End of Handwritten Math? Introducing Lean
34:35
Is This the End of Handwritten Math? Introducing Lean
55.4K views7 months ago
YouTubeAnk Yog
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) - DS…
9.3K viewsDec 17, 2024
YouTubeDeFi Security Summit - DSS
Ten minute Lean tutorial : make proofs of easy lemmas
7:16
Ten minute Lean tutorial : make proofs of easy lemmas
10.9K viewsMay 6, 2020
YouTubeXena Project
23:00
Jovan Gerbscheid - Writing proofs by clicking (Lean Together 2026)
237 views4 months ago
YouTubeleanprover community
34:39
Formalizing a proof in Lean using Github copilot and canonical
80.5K viewsMay 11, 2025
YouTubeTerence Tao
11:54
Find in video from 10:55Conclusion and Proof Implementation Details
Introductory Proof with Lean 4 - Natural Numbers
19.6K viewsOct 4, 2022
YouTubeMathPom
1:18:08
Find in video from 01:02Overview of Lean 4
Seminar: Introduction to the Lean 4 theorem prover and programming lan…
10K viewsFeb 15, 2023
YouTubeCertora
1:03:10
Alex J Best: Aristotle, an AI theorem prover using Lean (29 January 2026)
243 views4 months ago
YouTubeFormalisation of Mathematics Seminar @ Cam
28:41
Sebastian Graf - Simpler do proofs with mvcgen (Lean Together 2026)
284 views4 months ago
YouTubeleanprover community
55:37
Calculus, convex and non-convex optimization, and the Lean proof assi…
135 viewsJan 25, 2025
YouTubeJim Coykendall
42:08
Formalizing a proof in Lean using Github Copilot only
19K viewsMay 17, 2025
YouTubeTerence Tao
0:18
How to learn Lean 4 proof assistant?
5K views6 months ago
YouTubeThe Honest Torus
2:53
big brain giga chad mentat #lean #proof #mathemtics #maths #scienc…
6.1K views5 months ago
YouTubeK-Theory
0:53
About Lean programming Language
319 views11 months ago
YouTubeVLR Training
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software V…
1.7K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
20:50
Let's code math | Lean4 | Theorem prover
24K viewsJul 30, 2024
YouTubeSplience
4:27
How to learn Lean programming language | Terence Tao and Lex Frid…
26.6K views11 months ago
YouTubeLex Clips
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematic…
4.9K viewsSep 7, 2023
YouTubeTopos Institute
1:30:23
AI for Math: Neuro-Symbolic Auto-Formalization into Lean via Joint Em…
716 views7 months ago
YouTubeFields Institute
17:52
An Introduction to Mathematical Proofs
54.6K views5 months ago
YouTubeEllie Sleightholm
16:41
DIY Patio Cover: Solo Build, Costs Explained, What I'd Do Differently On…
19.6K views1 year ago
YouTubeSix Eight Woodworks
6:36
Introduction to Lean Thinking (2017)
116.3K viewsJan 13, 2017
YouTubeGemba Academy
8:47
Find in video from 00:29The Problem with Lean Proofs
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
18.1K viewsJun 26, 2024
YouTubeDavid Renshaw
17:55
An introduction to Lean 4, a functional programming language
13.1K viewsNov 19, 2021
YouTubeElixir, Erlang, the BEAM (and Lean)
1:20:39
Proof, Provers, and the Lean Theorem Prover - Summer Special!
2.8K viewsAug 12, 2021
YouTubeData Science Cornwall
1:02:46
[MERL Seminar Series Spring 2026] Proving and Improving: Language Mo…
103 views3 months ago
YouTubeMitsubishi Electric Research Laboratories (MERL)
See more videos
Static thumbnail place holder