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…
已浏览 4114 次2023年2月14日
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Formalizing a proof in Lean by hand
56:42
Formalizing a proof in Lean by hand
已浏览 3.3万 次9 个月之前
YouTubeTerence Tao
Writing Math Proofs using Lean4 in Visual Studio Code
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
已浏览 4592 次2022年10月12日
YouTubeChris
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
已浏览 1.1万 次11 个月之前
YouTubeAlex Kontorovich
Formalizing a proof in Lean using Github copilot and canonical
34:39
Formalizing a proof in Lean using Github copilot and canonical
已浏览 7.4万 次9 个月之前
YouTubeTerence Tao
Lean - Microsoft Research
21:30
Lean - Microsoft Research
2023年2月15日
Microsoft
Lean theorem prover mathlib
0:09
Lean theorem prover mathlib
2 个月之前
YouTubeShort Hacker News
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
已浏览 149 次8 个月之前
YouTubeDipartimento di Matematica UNIBO
40:19
Lean 4 overview for Mathlib users - Patrick Massot
已浏览 5349 次2023年7月16日
YouTubeleanprover community
7:16
Ten minute Lean tutorial : make proofs of easy lemmas
已浏览 1.1万 次2020年5月6日
YouTubeXena Project
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
已浏览 212 次2024年11月22日
YouTubeVic Help
7:53
10 minute Lean tutorial : proving logical propositions
已浏览 4.4万 次2020年4月12日
YouTubeXena Project
3:54
Seed-Prover 1.5: Lean Theorem Proving
已浏览 64 次2 个月之前
YouTubeAI Research Roundup
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat…
已浏览 1386 次2025年1月14日
YouTubeleanprover community
0:32
Free lean 4 tool that understands how natural language proofs inter…
3 个月之前
YouTubeThe Honest Torus
34:35
Is This the End of Handwritten Math? Introducing Lean
已浏览 5万 次3 个月之前
YouTubeAnk Yog
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
已浏览 66 次3 周前
YouTubeleanprover community
8:47
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
已浏览 1.4万 次2024年6月26日
YouTubeDavid Renshaw
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming …
已浏览 9305 次2023年2月15日
YouTubeCertora
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
已浏览 3278 次2024年11月6日
YouTubeZUCCMAP
24:10
【2021 Wolfram 技术大会】Mathematica 与 Lean 的双向可拓展 …
已浏览 585 次2021年6月22日
bilibiliWolfram中国
9:45
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支 …
已浏览 3899 次2022年5月13日
YouTubeぐにらち
47:41
Lean4入门：MIL习题全讲（1）
已浏览 3417 次2024年3月26日
bilibilitimechess
1:22:21
Lean4入门：MIL习题全讲（5）
已浏览 518 次2024年4月9日
bilibilitimechess
56:16
Lean4入门：MIL习题全讲（4）
已浏览 523 次2024年4月6日
bilibilitimechess
45:46
Lean4入门：MIL习题全讲（3）
已浏览 607 次2024年3月30日
bilibilitimechess
42:47
Lean4入门：MIL习题全讲（8）
已浏览 496 次2024年4月14日
bilibilitimechess
Mathematica 与 Lean 的双向可拓展交互
7 个月之前
wolfram.com
2:07:42
“数学AI”开源软件Lean 4 操作流程 1
已浏览 1223 次2023年2月18日
bilibili墨子数学研究所
2:16:53
“数学AI”开源软件Lean 4 操作流程 2
已浏览 289 次2023年2月18日
bilibili墨子数学研究所
观看更多视频
静态缩略图占位符