Lean 4 中文入门 —— 第一讲：Type Theory
19:12
Lean 4 中文入门 —— 第一讲：Type Theory
已浏览 1.4万 次2023年8月2日
bilibili凉宫百合子
Lean4入门：引论篇
Lean4入门：引论篇
已浏览 8549 次2024年3月26日
bilibilitimechess
Lean 数学入门：写给好奇的你 (2023 基础)【自制翻译】
1:07:27
Lean 数学入门：写给好奇的你 (2023 基础)【自制翻译】
已浏览 2992 次7 个月之前
bilibiliOptiXLab
2024.11 Lean安装配置（Linux Windows）
30:22
2024.11 Lean安装配置（Linux Windows）
已浏览 4972 次2024年11月28日
bilibilitimechess
函数式编程与形式化证明讨论班（第5讲：Lean证明初步）
1:46:46
函数式编程与形式化证明讨论班（第5讲：Lean证明初步）
已浏览 9491 次2022年11月12日
bilibili求真的不懂分析
Lean生产系列课程
0:35
Lean生产系列课程
3 周前
bilibili极客公园HM
Lean语言入门实践
2:30:36
Lean语言入门实践
已浏览 856 次11 个月之前
bilibili比尔森一撇
6:24
What Is Lean 什么是Lean?
已浏览 395 次2022年2月5日
bilibiliNico婉婉21
3:18
5 mins series: 5 Lean Principles
已浏览 153 次6 个月之前
bilibiliANONY-MITY
11:29
Lean原理分享1-集合论
已浏览 128 次8 个月之前
bilibili知修__
5:00
代码小白的lean4的环境安装
已浏览 81 次3 周前
bilibili互联网中的赛博游客
55:39
Lean4入门：MIL习题全讲（2）
已浏览 1042 次2024年3月27日
bilibilitimechess
1:11
陶哲轩用Lean重写教科书，写代码也能学数学
已浏览 3万 次1 年前
bilibili机器之心官方
3:15:10
I tried Lean and instantly got PhD in Math | Tsoding
已浏览 2023 次3 个月之前
bilibili帆影
4:47
Lean 4 中文入门 —— 第2.5讲：Propositions As Types - 课后题讲解
已浏览 1023 次2023年8月2日
bilibili凉宫百合子
45:46
Lean4入门：MIL习题全讲（3）
已浏览 639 次2024年3月30日
bilibilitimechess
56:16
Lean4入门：MIL习题全讲（4）
已浏览 560 次2024年4月6日
bilibilitimechess
43:35
Lean4入门：MIL习题全讲（9）
已浏览 720 次2024年4月20日
bilibilitimechess
4:49
微软曾经开发过的 Win10 精简版？Win10 Lean 体验评测
已浏览 5万 次2022年2月18日
bilibiliZ极客
10:25
Lean Mobility Lean3 量產版產品體驗：50km/h常規速度下的動態表現｜ …
已浏览 2980 次2 周前
bilibiliJackie--G
代码炼金术：硬核解密Lean4
已浏览 164 次2 个月之前
bilibili衡水铁头哥
10:52
Lean大雕社恐演讲现场！眼神飘忽不定，双腿全程颤抖
已浏览 1.8万 次2025年4月28日
bilibili海绵宝宝爪巴儿
3:59
【Channel Lean】3个动作5分钟 纠正不良体态 #德国兄弟# #中文#
已浏览 36.2万 次2019年2月22日
bilibiliChanneLLean
15:53
Lean4入门：安装配置篇
已浏览 9246 次2024年3月26日
bilibilitimechess
1:09:20
Geek学院三期讲座：Lean的初步介绍
已浏览 3045 次2020年11月15日
bilibiliGeek学院
2:52
Lean编程语言：数学与逻辑的完美结合
已浏览 3374 次2023年12月14日
bilibili黑豹老岳
2:07:42
“数学AI”开源软件Lean 4 操作流程 1
已浏览 1249 次2023年2月18日
bilibili墨子数学研究所
42:47
Lean4入门：MIL习题全讲（8）
已浏览 508 次2024年4月14日
bilibilitimechess
11:43
Lean Management and Methods
已浏览 35 次2024年11月4日
bilibiliAntonyliuliu
观看更多视频
静态缩略图占位符