如何系统地学习Lean语言？
- 发表时间：2025-06-29 08:45:11
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-18 17:05:12越正经的女人越容易做出疯狂的事吗？
- 2025-06-18 17:50:12“哨兵模式”涉嫌泄密，你支持封杀特斯拉吗？
- 2025-06-18 17:25:12你为什么选择React而不选择Vue？
- 2025-06-18 18:10:11为什么广州地铁这么多人不懂得先下后上，将中间的位置留出给下车的人？
- 2025-06-18 18:05:11***如雷军被董事会赶出了公司，他在不想创业的条件下，能很快找到新工作吗？
- 2025-06-18 18:00:12伊朗反击以色列 感觉对以色列并不具备有效威胁，反而伊朗却被以色列定点打击，后续战事会如何发展？
- 2025-06-18 17:40:12和父母无法沟通你有多绝望？
- 2025-06-18 17:05:12如何评价前端框架 Solid?
- 2025-06-18 17:00:13在中国儿子就那么重要吗?
- 2025-06-18 18:10:11韦东奕的牙怎么没了？
推荐产品
-
为什么贵州的旅游的宣传效果较为一般？
风景好不好就不说了，见仁见智，关键是贵州景点有个共同特征： -
你怎么看待剪映收费过高问题？
2021年第1次使用剪映的时候 我发现它的大部分功能都在服务 -
中国外交部及有关使领馆正迅速组织撤离在以、伊的中国公民，目前当地情况如何？
赶紧跑吧，以色列疯了，连伊朗官媒电视大楼都炸，不知道它还要干 -
你怎么看待剪映收费过高问题？
2021年第1次使用剪映的时候 我发现它的大部分功能都在服务
最新资讯