如何系统地学习Lean语言？
- 发表时间：2025-06-27 22:00:16
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-27 01:20:17什么是 5G 固定无线接入（FWA）？
- 2025-06-27 01:25:16什么是 AI Agent（智能体）？
- 2025-06-27 01:00:16敢不敢发一张你的自拍照？
- 2025-06-27 02:35:15你的电脑上有哪些你认为不可或缺的神仙软件?
- 2025-06-27 01:20:17目前react的生态系统是什么情况，有没有比较公认的成熟的开发技术栈？
- 2025-06-27 02:05:15手机存储器为什么会出现速度倒挂的现象，外存比内存快？
- 2025-06-27 01:00:16都是研制核武器，为何只敢动伊朗，对朝鲜确畏首畏尾？
- 2025-06-27 02:00:15如何评价小米 6 月 26 日发布的小米 YU7、MIX Flip2、REDMI K80 至尊版？
- 2025-06-27 02:05:15梅西最难破的记录是什么？
- 2025-06-27 01:35:15实体店为什么生意越来越难做了？
推荐产品
-
亲眼见到明星本人是什么体验？
2024年7月在武汉因为工作原因接到了一个预约 对方说的是海 -
***如台湾省同意回归，但要求保留100%的治权财权人事权、90%的军权和20%的外交权，可行吗？
上个世纪八十年代末，九十年代初，我们甚至愿意把更改国号纳入统 -
为什么Go仅仅160MB的安装包就可以编译程序，而Rust却还需要几个GB的VC++才能编译？
我觉得吧，很多时候，解释是没有用的。 在这方面Go确实要比其 -
前后楼怎么共享宽带?
买个fttr的光猫，一主一副，二百多块钱，注意要买自己省同运
新闻动态
最新资讯