如何系统地学习Lean语言？
- 发表时间：2025-06-27 20:00:16
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-23 11:45:18平面设计主KV做成这样，在你的城市薪资一般多少？
- 2025-06-23 12:15:18golang总体上有什么缺陷？
- 2025-06-23 11:50:18为什么说纯铜是紫色的，可是我看上去更像纸箱子的颜色啊，是否我自己有色盲呢?
- 2025-06-23 12:35:18***拍大尺度片子时摄影师不会看光吗？
- 2025-06-23 13:10:17谁是对Mac有成见然后用完Mac后真香的？
- 2025-06-23 12:50:17mysql每天有1千万数据 怎么办?分表吗 有什么好的方案。?
- 2025-06-23 13:00:17小区有人去世办丧事，早上5点放音乐，我报警有错吗？
- 2025-06-23 12:05:17现在独立开发 Win 和 Mac 跨平台的桌面程序，Qt 是最佳选择吗？
- 2025-06-23 12:55:17穿瑜伽裤爬山的女生会不会害羞？
- 2025-06-23 12:10:17为什么赡养老人这么难呢？
推荐产品
-
php写一个图片售卖程序,用框架好还是直接写好?
推荐你尝试一下 miiframe ，是我写的一个小框架~我觉 -
中国大陆地区献血率为何如此低下？
这是我媳妇的。 下岗工人没房没车，常年北漂打工，21年11月 -
为什么 Mac 对游戏支持这么差？
大家的 Mac mini M4 入手了吗？每年都有不少朋友会 -
现实中大龄剩女有没有妥协呢？
我说一个。 韩国跑男里面的宋智孝。 年轻时的智孝，又漂亮
新闻动态
最新资讯