Leanprove – il metodo Lean Six Sigma in Italia
Leanprove – il metodo Lean Six Sigma in Italia
8 months ago
leanprove.com
Doing a math assignment with the Lean theorem prover
Doing a math assignment with the Lean theorem prover
Apr 5, 2020
ahelwer.ca
Tangent-Secant Theorem | Formula & Examples
4:42
Tangent-Secant Theorem | Formula & Examples
5.9K viewsSep 23, 2022
Study.com
Lean
21:30
Lean
Feb 15, 2023
Microsoft
Recursive Definitions in Lean
43:21
Recursive Definitions in Lean
Apr 29, 2025
ccc.de
LeanDojo: Major Update for Math Reasoning with LLM | Anima Anandkumar posted on the topic | LinkedIn
3:31
LeanDojo: Major Update for Math Reasoning with LLM | Anima Anandkumar posted on the topic | LinkedIn
18 views9 months ago
linkedin.com
Michael Douglas | May 6, 2026 | Formalization of QFT
1:15:45
Michael Douglas | May 6, 2026 | Formalization of QFT
6 days ago
YouTubeMathematical Picture Language
1:23
Finite Time Regularity of Navier Stokes Equations | Lean 4 Verified The GIGD Inequality
4 views2 months ago
YouTubeMohamed M Hassan
1:04:35
UNM CS Colloquium The Lean Proof Assistant: Past, Present, and Future
26 views3 weeks ago
YouTubeJosé Abel Castellanos Joo
20:56
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (Apr 2026)
2 views1 week ago
YouTubeAI Paper Slop
19:52
JURY-RL: Votes Propose, Proofs Dispose for Label-Free RLVR (Apr 2026)
3 views2 weeks ago
YouTubeAI Paper Slop
12:22
GPT-5.4 Still Can't Answer Correctly to My Question
100 views1 month ago
YouTubeBulhwi Cha (차불휘)
0:56
An AI just solved Erdős Problem #124. A leading number theorist called it beautiful.
100 views1 week ago
YouTubeHabesha AI
9:12
Formalizing the Universe
1 week ago
YouTubeTaylor Buley
1:30
Formalizing QFT: Machine-Checked Physics in Lean 4
1 month ago
YouTubeAI Research Roundup
8:29
Unpacking Crypto
1 views1 week ago
YouTubeTaylor Buley
0:15
Lean is a stonger prover than kani. Who is gonna generate assembly that’s proven for
29.3K views1 month ago
x.comtoly 🇺🇸
13:37
Rolle’s Theorem Proof
25.9K viewsDec 16, 2019
YouTubeDr Peyam
11:14
Visual Proof of Pythagoras' Theorem
4.2M viewsJan 26, 2017
YouTubeEddie Woo
16:18
Understanding Failure Theories (Tresca, von Mises etc...)
2.6M viewsJun 2, 2020
YouTubeThe Efficient Engineer
1:26
Pythagorean Theorem Word Problems | Math Placement | ALEKS | TSI | ACCUPLACER | PERT | MathHelp.com
53.9K viewsJan 20, 2016
YouTubeMathHelp.com
19:22
Calculating Reactions of a Frame - Structural Analysis
447.1K viewsSep 13, 2012
YouTubestructurefree
20:05
Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean
4.8K viewsNov 13, 2019
YouTubeEduardo Cavazos
0:53
About Lean programming Language
319 views10 months ago
YouTubeVLR Training
2:57
Aristotle: IMO‑Level Automated Theorem Prover
312 views7 months ago
YouTubeAI Research Roundup
23:35
Isabelle Theorem Prover tutorial
18.2K viewsDec 17, 2015
YouTubebhari88
1:18:46
Can A.I. do mathematics? - Kevin Buzzard
8.4K viewsDec 5, 2024
YouTubeStanford Math
1:22:59
Josef Urban | AI and Theorem Proving
3.3K viewsJan 19, 2021
YouTubeHarvard CMSA
1:03:19
The Type Theory of Lean
1.7K viewsApr 22, 2019
YouTubeMario Carneiro
3:54
Seed-Prover 1.5: Lean Theorem Proving
94 views4 months ago
YouTubeAI Research Roundup
See more