当前位置: 首页 >
如何系统地学习Lean语言?_江苏省南京市六合区种遭易汉渔业设备有限责任公司
- 据报道称“浏览器内核有上千万行代码”,浏览器内核真的很复杂吗?
- 老板说我设计了一周的海报还是不行,我到底该怎么学啊?
- 预测一下,下一次阅兵会出现什么武器震惊世界?
- 面试中被嘲笑Token放在redis里,该如何应对这种情况呢?
- 女生什么状态才体现出她已经爱上你了?
- WiFi7能替代HDMI吗?
- 如何判断鱼缸中的硝化系统是否已经成功建立?
- 你在出租房屋发现过什么前租客留下的“宝藏”?
- Rust 的设计缺陷是什么?
- 榴莲的产量明明很高,为什么还卖那么贵?
联系我们
邮箱:
手机:
电话:
地址:
如何系统地学习Lean语言?
作者: 发布时间:2025-06-27 20:00:16点击:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
新闻资讯
-
2025-06-24很多世界名校学生要靠吃***保持精力吗?
-
2025-06-24生男生女真的是随机吗?
-
2025-06-24为什么苹果手机杀后台现象频繁?是内存不够、后台管理严格还是其他原因呢?
-
2025-06-24冬天也要穿胸罩吗?
-
2025-06-25各位都在用Docker跑些什么呢?
-
2025-06-25Windows的伟大之处在哪里?
相关产品