当前位置: 首页 >
如何系统地学习Lean语言?
- 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
推荐资讯
- 2025-06-23如何评价基努•里维斯的演技?
- 2025-06-23黄晓明上戏考博落榜,本人回应「明年再战」,怎样看明星对高学历的追求?上戏博士有多难考?
- 2025-06-23华为中年粉丝都是什么样子的?
- 2025-06-23Rust 未来会成为主流的编程语言吗?
- 2025-06-23编程语言 MoonBit 发布 Beta 版,正式进入企业场景应用,会带来哪些影响?
- 2025-06-23ant-design-vue 社区为什么不维护了?
- 2025-06-23人间尤物是什么样的?
- 2025-06-23能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
- 2025-06-23平面设计师要被时代淘汰了吗?
- 2025-06-23为什么程序员独爱用Mac进行编程?
- 2025-06-23如何看待“Hutool”工具类库广受欢迎?
- 2025-06-23女主播和榜一大哥现实碰面会做什么?
- 2025-06-23如何编写让别人看不懂的代码?
- 2025-06-23有一个***约你出去,你会去吗?
- 2025-06-23独立开发***能盈利吗?感觉好累...
- 2025-06-23你见过最不可思议的吵架理由是什么?
推荐产品
-
useEffect监听了很多变量怎么办?
当你用到“监听”这个词的时候,就说明你其实没有理解 useE -
Rust 未来会成为主流的编程语言吗?
python以前狐***虎威,表面上看着是python做了很 -
明星现实中真的很漂亮吗?
这十年,我大概见过一万个明星。 真的不夸张,从电影首映礼到 -
作为Mac用户有什么推荐的鼠标吗?
我推荐《Mac Mouse Fix》,一个软件。 打开
最新资讯