English
全部
搜索
图片
视频
短视频
地图
资讯
更多
购物
航班
旅游
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
Dailymotion
Vimeo
Metacafe
Hulu
VEVO
Myspace
MTV
CBS
Fox
CNN
MSN
价格
全部
免费
付费
清除筛选条件
安全搜索:
中等
严格
中等(默认)
关闭
筛选器
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challe
…
已浏览 4114 次
2023年2月14日
YouTube
Institute for Pure & Applied Mathematics (IPAM)
56:42
Formalizing a proof in Lean by hand
已浏览 3.3万 次
9 个月之前
YouTube
Terence Tao
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
已浏览 4592 次
2022年10月12日
YouTube
Chris
31:47
How Mathematicians can Get Started with Lean
已浏览 1.1万 次
11 个月之前
YouTube
Alex Kontorovich
34:39
Formalizing a proof in Lean using Github copilot and canonical
已浏览 7.4万 次
9 个月之前
YouTube
Terence Tao
0:09
Lean theorem prover mathlib
2 个月之前
YouTube
Short Hacker News
40:19
Lean 4 overview for Mathlib users - Patrick Massot
已浏览 5349 次
2023年7月16日
YouTube
leanprover community
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
已浏览 66 次
3 周前
YouTube
leanprover community
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat
…
已浏览 1386 次
2025年1月14日
YouTube
leanprover community
26:42
Chris Henson - Locally Nameless Lambda Calculi (Lean Together 20
…
3 周前
YouTube
leanprover community
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
已浏览 149 次
8 个月之前
YouTube
Dipartimento di Matematica UNIBO
8:47
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
已浏览 1.4万 次
2024年6月26日
YouTube
David Renshaw
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
已浏览 3278 次
2024年11月6日
YouTube
ZUCCMAP
1:04:05
[WITS'26] Lean4Lean: Mechanizing the Metatheory of Lean
已浏览 2 次
3 周前
YouTube
ACM SIGPLAN
34:35
Is This the End of Handwritten Math? Introducing Lean
已浏览 5万 次
3 个月之前
YouTube
Ank Yog
15:00
音声_数学的証明とソフトウェア検証の統合:Leanプロジェクトの概要
已浏览 9 次
4 周前
YouTube
論文紹介チャネル
7:53
10 minute Lean tutorial : proving logical propositions
已浏览 4.4万 次
2020年4月12日
YouTube
Xena Project
3:54
Seed-Prover 1.5: Lean Theorem Proving
已浏览 64 次
2 个月之前
YouTube
AI Research Roundup
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp
…
已浏览 212 次
2024年11月22日
YouTube
Vic Help
25:52
Sebastian Ullrich - The Lean module system (Lean Together 2026)
3 周前
YouTube
leanprover community
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming
…
已浏览 9305 次
2023年2月15日
YouTube
Certora
1:00
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
已浏览 1052 次
4 个月之前
YouTube
Zeno Orbit
0:32
Free lean 4 tool that understands how natural language proofs inter
…
3 个月之前
YouTube
The Honest Torus
21:30
Lean - Microsoft Research
2023年2月15日
Microsoft
7:16
Ten minute Lean tutorial : make proofs of easy lemmas
已浏览 1.1万 次
2020年5月6日
YouTube
Xena Project
1:02:08
Mathlib Community Meeting December 12, 2025
2 个月之前
YouTube
Lean FRO
0:53
About Lean programming Language
已浏览 265 次
7 个月之前
YouTube
VLR Training
20:11
[CPP'26] Formalizing polynomial laws and the universal divided po
…
已浏览 1 次
3 周前
YouTube
ACM SIGPLAN
5:34
The Crisis of Modern Math (and the $500m solution)
已浏览 6723 次
3 个月之前
YouTube
The Honest Torus
1:01:10
Jireh Loreaux: Working with Mathlib
已浏览 328 次
2024年4月22日
YouTube
Centre International de Rencontres Mathématiq…
观看更多视频
更多类似内容
反馈