10 minute Lean tutorial : proving logical propositions
7:53
10 minute Lean tutorial : proving logical propositions
45,4K weergaven12 apr. 2020
YouTubeXena Project
Infinitude of primes --- a Lean theorem prover demo
23:35
Infinitude of primes --- a Lean theorem prover demo
38,3K weergaven13 jul. 2020
YouTubeleanprover community
Let's code math | Lean4 | Theorem prover
20:50
Let's code math | Lean4 | Theorem prover
24,3K weergaven30 jul. 2024
YouTubeSplience
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) - DSS 101 2024
8,7K weergaven17 dec. 2024
YouTubeDeFi Security Summit - DSS
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 theorem prover
2,2K weergaven18 okt. 2024
YouTubeHarvard CMSA
Prof. Jeremy Avigad | The Lean Theorem Prover
1:07:25
Prof. Jeremy Avigad | The Lean Theorem Prover
61 weergaven4 maanden geleden
YouTubeINI Seminar Room 2
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
9,8K weergaven15 feb. 2023
YouTubeCertora
24:07
Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026)
687 weergaven2 maanden geleden
YouTubeleanprover community
1:30
Formalizing QFT: Machine-Checked Physics in Lean 4
3 weken geleden
YouTubeAI Research Roundup
3:54
Seed-Prover 1.5: Lean Theorem Proving
94 weergaven3 maanden geleden
YouTubeAI Research Roundup
1:02:03
PLSE Seminar Series Leonardo de Moura "The Lean Theorem Prover"
205 weergaven18 mei 2016
YouTubeUW PLSE
1:02:46
[MERL Seminar Series Spring 2026] Proving and Improving: Language Models for Theorem Proving and ...
25 weergaven1 maand geleden
YouTubeMitsubishi Electric Research Laboratories (MERL)
1:20:39
Proof, Provers, and the Lean Theorem Prover - Summer Special!
2,8K weergaven12 aug. 2021
YouTubeData Science Cornwall
23:29
Proving with the Lean theorem prover: The case of transitivity of implication
232 weergaven4 mrt. 2024
YouTubeSouthampton Education School
1:03:10
Alex J Best: Aristotle, an AI theorem prover using Lean (29 January 2026)
187 weergaven2 maanden geleden
YouTubeFormalisation of Mathematics Seminar @ Cam
14:41
Using the Lean Theorem Prover on CoCalc with VS Code and a Compute Server
376 weergaven10 mei 2024
YouTubeCoCalc by SageMath, Inc.
1:27
Lean theorem prover #math #stem #tech #learnontiktok #computerscience #mathtok
45,1K weergaven26 okt. 2023
TikTokaverage_joe_mcc
1:18:09
Seminar Introduction to the Lean 4 theorem prover and programming language
43 weergaven26 dec. 2023
bilibiliflamencozero
8:21
DeepSeek Prover-V2 7B: Formal Theorem Proving in Lean 4 - Install Locally
2,1K weergaven11 maanden geleden
YouTubeFahd Mirza
52:19
2026.02.10, Seonghun Park (박성훈), Formalizing Flag Algebras in the Lean Theorem Prover
2 weergaven2 maanden geleden
YouTubeIBS Discrete Mathematics Group
1:59:02
Yury Kudryashov : Lean prover and its uses with AI for solving math problems
164 weergaven6 maanden geleden
YouTubealexander shen
31:47
How Mathematicians can Get Started with Lean
15,1K weergaven27 feb. 2025
YouTubeAlex Kontorovich
0:53
About Lean programming Language
310 weergaven9 maanden geleden
YouTubeVLR Training
1:14:48
The Future of Mathematics?
114,5K weergaven1 okt. 2019
YouTubeMicrosoft Research
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
466,1K weergaven31 aug. 2023
YouTubeQuanta Magazine
1:16:06
What Is an Interactive Theorem Prover? | Kevin Buzzard
2K weergaven19 mrt. 2024
YouTubePietro Monticone
1:12:08
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 1)
869 weergaven26 nov. 2021
YouTubeParker Glynn-Adey
1:01:37
Reading “Theorem Proving in Lean 4” for Koreans - Chap. 8, (5) Accessibility
14 weergaven1 maand geleden
YouTube차불휘(Bulhwi Cha)
1:02:43
【逻辑与数学基础讲座】Interactive theorem proving and the Lean theorem prover
1,1K weergaven13 apr. 2021
bilibili武汉大学哲学学院
Meer weergeven