自然数游戏速通 Lean4
58:11
自然数游戏速通 Lean4
已浏览 715 次2024年7月13日
bilibili帆影
Lean theorem prover mathlib
0:09
Lean theorem prover mathlib
2 个月之前
YouTubeShort Hacker News
Free lean 4 tool that understands how natural language proofs interact with Mathlib!
0:32
Free lean 4 tool that understands how natural language proofs inter…
3 个月之前
YouTubeThe Honest Torus
Introductory Proof with Lean 4 - Natural Numbers
11:54
Introductory Proof with Lean 4 - Natural Numbers
已浏览 1.5万 次2022年10月4日
YouTubeMathPom
Debugging C# Algorithmic Trading Strategies in Visual Studio - LEAN CLI
Debugging C# Algorithmic Trading Strategies in Visual Studio - LEA…
已浏览 3284 次2021年6月11日
YouTubeQuantConnect
LiveShare LEAN4 VSCode一键打开项目 实时分享编译环境
9:53
LiveShare LEAN4 VSCode一键打开项目 实时分享编译环境
已浏览 531 次2024年8月26日
bilibilidepth_of_Maths
Lean4入门：MIL习题全讲（9）
43:35
Lean4入门：MIL习题全讲（9）
已浏览 690 次2024年4月20日
bilibilitimechess
55:39
Lean4入门：MIL习题全讲（2）
已浏览 997 次2024年3月27日
bilibilitimechess
47:41
Lean4入门：MIL习题全讲（1）
已浏览 3412 次2024年3月26日
bilibilitimechess
12:36
Lean4 Windows安装
已浏览 5378 次2024年6月24日
bilibilitimechess
45:46
Lean4入门：MIL习题全讲（3）
已浏览 604 次2024年3月30日
bilibilitimechess
53:49
Lean4入门：MIL习题全讲（6）
已浏览 393 次2024年4月14日
bilibilitimechess
56:16
Lean4入门：MIL习题全讲（4）
已浏览 521 次2024年4月6日
bilibilitimechess
3:49
Slurry Seal
已浏览 7.8万 次2014年7月30日
YouTubeRichland CityView
8:10
Linear Programming
已浏览 15.3万 次2017年3月2日
YouTubeMario's Math Tutoring
1:36:44
Lean4入门：MIL习题全讲（7）
已浏览 415 次2024年4月14日
bilibilitimechess
1:01:32
【全8回】ネットワーク入門講座（第1回）ネットワークの概要 Part 1
已浏览 1.5万 次2021年4月12日
YouTubeMONOxIT Tokyo
2:37
How To Install Matplotlib In PyCharm
已浏览 7.3万 次2021年6月9日
YouTubeStudySession
2:47
Multiplying Fractions | Visual Models
已浏览 4.7万 次2021年7月12日
YouTubeMrs Roberts' Resources
10:30
Linear Regression: Least Squares in MATLAB
已浏览 1.8万 次2020年11月4日
YouTubePurdue FYE - Ideas to Innovation
8:30
Disney bubble wand review
已浏览 4.5万 次2018年2月18日
YouTubeKaren Santiago
13:30
Create A Calculator App in C# | Visual Studio 2020 | Part 1
已浏览 4.9万 次2020年6月16日
YouTubeShaun Halverson
6:48
How to Season your Clay Chimenea
已浏览 4万 次2020年5月31日
YouTubeBTR Outdoors
2:07:42
“数学AI”开源软件Lean 4 操作流程 1
已浏览 1223 次2023年2月18日
bilibili墨子数学研究所
11:50
Yamaha Royal Star Deluxe Test Drive
已浏览 12.2万 次2018年6月27日
YouTubeSrkcycles
1:34
Wallpaper Repair - Edge Lifting Fixed
已浏览 8.1万 次2017年3月13日
YouTubeGandy Angeles
4:39
数学民科基本素养之Lean4介绍
已浏览 9481 次2023年8月30日
bilibili逯晓零
40:19
Lean 4 overview for Mathlib users - Patrick Massot
已浏览 5349 次2023年7月16日
YouTubeleanprover community
9:55
Class Diagram in Visual Studio 2019 | Class Designer Getting Started
已浏览 16.8万 次2020年12月30日
YouTubeHacked
6:29
Homemade Crunchy Taco Shells Recipe | Molé Mama
已浏览 26.9万 次2016年7月9日
YouTubeMolé Mama
观看更多视频
静态缩略图占位符