如何系统地学习Lean语言？
- 发表时间：2025-06-29 05:15:14
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-23 01:50:15PCL-181和国外同行相比的优缺点是什么？
- 2025-06-23 01:15:15多个充电宝或电芯品牌的 3C 认证证书被暂停，涉及罗马仕、安克、绿联、倍思、安普瑞斯等，发生了什么？
- 2025-06-23 02:30:15男医生在给年轻靓丽的女性检查时会是什么心态？
- 2025-06-23 02:10:14比亚迪最近绩效减半，这是卸磨杀驴么？
- 2025-06-23 01:40:15我国新一代载人飞船「梦舟」零高度逃逸飞行试验成功，该实验有怎样的意义？「梦舟」在未来会发挥哪些作用？
- 2025-06-23 01:25:20Switch模拟器哪个好？
- 2025-06-23 02:15:15react 跟 vue 哪个更牛逼？
- 2025-06-23 01:15:15你和你老婆是怎么认识的？
- 2025-06-23 01:45:15php这个岗位在未来几年会消失吗，因为刚从事php有点焦虑?
- 2025-06-23 01:05:15中国发动机是技术落后，还是材料技术没有攻克?
推荐产品
-
你见过的有些人能漂亮到什么程度？
14年 21岁的我，首先我不是说我多漂亮，只是感慨当年的青涩 -
PCL-181和国外同行相比的优缺点是什么？
181是世间少见的优秀火炮，几乎没有任何缺点。 可以称得上是 -
中国的军事实力有多深藏不露？
这么说吧。 中国海警总吨位20万吨，有兴趣的去查一下，20万 -
什么是 5G 固定无线接入（FWA）？
FWA 是个啥？FWA（Fixed Wireless Acc
最新资讯