如何系统地学习Lean语言？
- 发表时间：2025-06-27 22:35:17
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-20 08:45:16为什么苹果手机杀后台现象频繁？是内存不够、后台管理严格还是其他原因呢？
- 2025-06-20 09:20:17Rust 未来会成为主流的编程语言吗？
- 2025-06-20 08:15:16为什么国外网站总喜欢弹出cookie访问权限弹窗，国内网站却没有，这么做有什么意义？
- 2025-06-20 08:10:16为什么低个子男生更喜欢身材大很多的大女孩？
- 2025-06-20 08:30:17如何看待《捞女游戏》定档 6 月 19 日？
- 2025-06-20 08:10:16敢不敢留下一张自拍照让人打分？
- 2025-06-20 08:25:16python的包管理器uv可以替代conda吗?
- 2025-06-20 08:10:16埃塞俄比亚真的盛产美女吗？
- 2025-06-20 09:25:18女明星做了什么医美项目保持童颜？
- 2025-06-20 07:55:16为什么个人需要公网ip？
推荐产品
-
到底是时代选择了Nvidia,还是Nvidia选择了时代？
所以前几年为什么要禁挖矿？本来国内几乎占据全球一半算力，拱手 -
人类有希望走出***系吗?
很多人对***系的直径没有概念，对十万光年也没有概念。 我给 -
Electron 和当下其他的桌面开发方法相比如何？
最近随着天气越来热，各种的“空调”产品也层出不穷，各大群里都 -
如果北京放开车牌，未来会怎样？
不用未来，今年就能出结果， 今年五月份，刚刚增发了六万个新能
新闻动态
最新资讯