如何系统地学习Lean语言？
- 发表时间：2025-06-27 22:00:16
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-20 08:45:16汉语是牺牲了什么，才成为世界最紧凑、最高效的语言？
- 2025-06-20 09:05:18Swift 和同时代的其他语言比起来怎么样？
- 2025-06-20 09:30:18下雨天做什么最舒服？
- 2025-06-20 08:40:17如何评价广州这座城市？
- 2025-06-20 08:40:17为什么我看了凡人修仙传后再看其它修仙***都感觉看不下去？
- 2025-06-20 09:15:19瑜伽裤和牛仔裤哪个更显身材？
- 2025-06-20 08:40:17初三画成这样算是有天赋吗？【正经求助】?
- 2025-06-20 08:10:16慈禧为什么要反对戊戌变法？
- 2025-06-20 07:55:16曼德拉是南非的罪人吗？
- 2025-06-20 09:35:17吴柳芳的真实水平如何？
推荐产品
-
鱼缸有哪些寿命比较长的草推荐呢？
推荐三款我养过的皮实好养的水草。 大叶九***草。 非常好 -
怎么才能有尤雨溪一半强，该怎么学习？
目前已经有人成功把chrome124移植到xp系统上运行了， -
胸大的女孩会自卑 吗？
我75e还不算夸张，一到夏天会非常难受，尤其是工作穿工装的时 -
如何制造一个高级的阳谋？
转自抖音的一个案例！ 一位女性的车被水淹了，维修费用大概要9
新闻动态
最新资讯