当前位置：当前位置： 首页 >
如何系统地学习Lean语言？
文章出处：网络 人气：发表时间：2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
同类文章排行
- 猫那么爱干净，却为什么不喜欢洗澡？
- 有没有一种可能，天基导弹拦截系统可以直接将洲际导弹按死在家门口?
- ant-design-vue 社区为什么不维护了？
- Chrome 插件开发流程是什么？
- F-35作战半径1100公里，以色列距离伊朗首都德黑兰1600公里。以色列F-35是如何轰炸伊朗的？
- 为什么要远离社会底层？
- 为什么中国农村房子那么丑？
- 万兆的网络速度有多大意义？
- 作为普通中国人，我们可以为以色列人民做点什么？
- 有什么好用的AI软件推荐吗?
关注公众微信号 
移动端，扫扫更精彩