Lean4入门：MIL习题全讲（6）
53:49
Lean4入门：MIL习题全讲（6）
已浏览 394 次2024年4月14日
bilibilitimechess
Lean4入门：引论篇
52:04
Lean4入门：引论篇
已浏览 7799 次2024年3月26日
bilibilitimechess
Lean4入门：MIL习题全讲（4）
56:16
Lean4入门：MIL习题全讲（4）
已浏览 524 次2024年4月6日
bilibilitimechess
Lean 4 中文入门 —— 第二讲：Propositions As Types
29:23
Lean 4 中文入门 —— 第二讲：Propositions As Types
已浏览 2107 次2023年8月3日
bilibili凉宫百合子
Four Principles – Lean Manufacturing & TPM
3:17
Four Principles – Lean Manufacturing & TPM
已浏览 3.3万 次2017年8月28日
YouTubeFour Principles
Leonardo de Moura - Lean 4：赋能形式数学革命与更远未来
1:18:06
Leonardo de Moura - Lean 4：赋能形式数学革命与更远未来
已浏览 554 次2023年9月8日
bilibili筑桥者Hagi
5 principles of Lean
1:01
5 principles of Lean
已浏览 3171 次2018年7月30日
YouTubeEfficiency Works – Lean Consulting & Training
2:03:36
Lean Together 2021_ An overview of Lean 4
已浏览 28 次2023年12月26日
bilibiliflamencozero
1:06:13
人工智能数学验证工具LEAN4【入门介绍9】高级乘法世界：逆否策略的 …
已浏览 548 次2024年3月9日
bilibilidepth_of_Maths
52:36
人工智能数学验证工具LEAN4【入门介绍3】乘法世界-证明乘法的所有运 …
已浏览 469 次2024年1月21日
bilibilidepth_of_Maths
43:16
陶哲轩也在用的数学验证编程语言LEAN4【入门介绍18】集合论关卡( …
已浏览 489 次2024年6月22日
bilibilidepth_of_Maths
11:54
Introductory Proof with Lean 4 - Natural Numbers
已浏览 1.5万 次2022年10月4日
YouTubeMathPom
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming …
已浏览 9305 次2023年2月15日
YouTubeCertora
2:16:53
“数学AI”开源软件Lean 4 操作流程 2
已浏览 289 次2023年2月18日
bilibili墨子数学研究所
1:53:16
陶哲轩也在用的数学验证编程语言LEAN4【入门介绍19】集合论完结 …
已浏览 434 次2024年6月29日
bilibilidepth_of_Maths
15:53
Lean4入门：安装配置篇
已浏览 8186 次2024年3月26日
bilibilitimechess
17:55
An introduction to Lean 4, a functional programming language
已浏览 1.1万 次2021年11月19日
YouTubeElixir, Erlang, the BEAM (and Lean)
4:47
Lean 4 中文入门 —— 第2.5讲：Propositions As Types - 课后题 …
已浏览 979 次2023年8月3日
bilibili凉宫百合子
59:45
人工智能数学验证工具LEAN4【入门介绍5】推理世界-如何使用和证明推 …
已浏览 593 次2024年1月24日
bilibilidepth_of_Maths
1:42
Getting Started with Lean 4 in Visual Studio Code
已浏览 1.5万 次2022年6月7日
YouTubeChris
2:24
Four Principles - Lean in Administration
已浏览 8.8万 次2017年8月30日
YouTubeFour Principles
43:35
Lean4入门：MIL习题全讲（9）
已浏览 692 次2024年4月20日
bilibilitimechess
55:39
Lean4入门：MIL习题全讲（2）
已浏览 998 次2024年3月27日
bilibilitimechess
1:36:44
Lean4入门：MIL习题全讲（7）
已浏览 416 次2024年4月14日
bilibilitimechess
4:04
lean4形式化的简单例子
已浏览 228 次2024年9月14日
bilibilihnnnhjjm
47:41
Lean4入门：MIL习题全讲（1）
已浏览 3418 次2024年3月26日
bilibilitimechess
1:57
Four Principles Lean Management – Get Lean in 90 Seconds (2017)
已浏览 1.5万 次2017年7月20日
YouTubeFour Principles
1:22:21
Lean4入门：MIL习题全讲（5）
已浏览 519 次2024年4月9日
bilibilitimechess
45:46
Lean4入门：MIL习题全讲（3）
已浏览 607 次2024年3月30日
bilibilitimechess
观看更多视频
静态缩略图占位符