如何系统地学习Lean语言？
- 发表时间：2025-06-27 22:35:17
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-27 08:05:16服务器能否拒绝非浏览器发起的HTTP请求？
- 2025-06-27 08:05:16为什么董明珠攻击小米空调，而公牛却没有攻击小米插座？
- 2025-06-27 08:35:17外网测试同样的性能下的掌机安装steam os系统的性能比安装微软系统的帧率更强，原因是什么？
- 2025-06-27 07:55:16如何设计一条 prompt 让 LLM 陷入死循环?
- 2025-06-27 07:40:16如何评价网易国产动作冒险单机新作《归唐》首支预告片？
- 2025-06-27 07:25:16如何设计一条 prompt 让 LLM 陷入死循环?
- 2025-06-27 06:55:15近期的舆论***中舆论几乎全部无用，是否可以说舆论已经失效？舆论无用？
- 2025-06-27 06:40:15有哪些让你目瞪口呆的 Bug ？
- 2025-06-27 07:15:15为什么年轻的肉体让人沉迷？
- 2025-06-27 08:25:17如何看待美团创始人王兴清空微博？
推荐产品
-
2025年现在开发php项目选择lar***el框架好还是thinkphp框架好？
个人觉得，webman还不错，性能好，开发也很简单。 或者用 -
美国海军有多恐怖？
大哥，你是东大呆久了吧，完全不知道国家和国家之间的差距，比人 -
小米首款 SUV YU7 发布，有九种配色，25.35 万元起售，该车市场竞争力如何？你会买吗？
25.35万元的价格其实并不便宜，YU7也没有当初SU7那样 -
有哪些是你用上了mac才知道的事？
1、macOS支持的软件比想象的要多得多； 2、macOS支
最新资讯