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.1K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 2026)
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 20…
2 weeks ago
YouTubeleanprover community
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1:00
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1.1K views3 months ago
YouTubeZeno Orbit
Lean theorem prover mathlib
0:09
Lean theorem prover mathlib
2 months ago
YouTubeShort Hacker News
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat…
1.4K viewsJan 14, 2025
YouTubeleanprover community
Is This the End of Handwritten Math? Introducing Lean
34:35
Is This the End of Handwritten Math? Introducing Lean
49.3K views3 months ago
YouTubeAnk Yog
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
66 views2 weeks ago
YouTubeleanprover community
34:39
Formalizing a proof in Lean using Github copilot and canonical
74.1K views9 months ago
YouTubeTerence Tao
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.3K viewsJul 16, 2023
YouTubeleanprover community
28:36
【会议】Lean Together 2025
690 viewsJan 15, 2025
bilibili筑桥者Hagi
1:01:10
Jireh Loreaux: Working with Mathlib
328 viewsApr 22, 2024
YouTubeCentre International de Rencontres Mathématiq…
8:47
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
14K viewsJun 26, 2024
YouTubeDavid Renshaw
1:18:16
Alex Kontorovich: First Analysis Lecture (June 16, 2025)
388 views6 months ago
YouTubeSimons Foundation
21:30
Lean - Microsoft Research
Feb 15, 2023
Microsoft
15:30
AI如何重塑数学：从公理验证到未解猜想，人机协作下的数学新范式与哥 …
3.1K views4 months ago
YouTubewow
9:45
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支 …
3.9K viewsMay 13, 2022
YouTubeぐにらち
4:24
This AI Just Cracked Formal Mathematics: AlphaProof Explained
58 views3 months ago
YouTubeScienceSizzle
3:54
Seed-Prover 1.5: Lean Theorem Proving
64 views1 month ago
YouTubeAI Research Roundup
26:11
[CPP'26] Higher order differential calculus in Mathlib
50 views3 weeks ago
YouTubeACM SIGPLAN
7:53
10 minute Lean tutorial : proving logical propositions
42.3K viewsApr 12, 2020
YouTubeXena Project
26:08
Let's do the Math!
393 views2 months ago
YouTubeBuilt This Week
7:16
Ten minute Lean tutorial : make proofs of easy lemmas
10.8K viewsMay 6, 2020
YouTubeXena Project
3:10
三步自动生成公式，再也不用在Word里点点点，理科生福音【高 …
39.1K viewsNov 30, 2019
bilibili高玩梁
1:56
论文写作中的公式问题，最简单的mathtype与mathpix的联合使用。
3.9K viewsMay 2, 2020
bilibili零下一度LL
12:00
吹爆！基于MATLAB的高等数学问题求解全套视频教程，微分方程、代数 …
1.5K viewsAug 18, 2023
bilibiliCV算法工程师
22:44
论文，文献翻译数学公式快捷输入方法。
501 viewsMar 8, 2022
bilibili机器小甲虫
24:55
Lean Together 2025: David Renshaw, Searching for Proof Imp…
444 viewsJan 14, 2025
YouTubeleanprover community
Number Theory #11: The Natural Number Game (Ep. 3, Implication …
76 views1 year ago
YouTubeJon Practices Math
19:42
Python也能作图？最新的Matploblib库教学，看完你就知道是赚到了！
7.9K viewsMay 15, 2022
bilibiliAI大模型-扶摇
2:24
截图识别公式软件mathpix软件使用教程，不再手打公式 毕设论文＆科 …
127.8K viewsApr 14, 2020
bilibiliRedConoration
See more videos
Static thumbnail place holder