当前位置: 首页 >
如何系统地学习Lean语言?_江苏省南京市六合区种遭易汉渔业设备有限责任公司
- 你认为美国最近30年最烂的一个总统是谁?
- 为什么***骂 Ubuntu,但是 Ubuntu 一直是所有 Linux 发行版中知名度、热度最高的?
- 伊朗这次会崩溃灭亡吗?
- docker有哪些有趣的用途?
- 英伟达 RTX 5050 笔记本显卡跑分曝光,该显卡有哪些亮点?
- 有没有免费的云服务器?
- 北大「韦神」粉丝破 2000 万,评论区成高考许愿池,如何看待家长们纷纷从韦神这里「沾福气」的心理?
- 为什么Go仅仅160MB的安装包就可以编译程序,而Rust却还需要几个GB的VC++才能编译?
- 春兰杯决赛首局,杨楷文胜韩国名将朴廷桓,如何评价本场对局?
- 什么是 5G 固定无线接入(FWA)?
联系我们
邮箱:
手机:
电话:
地址:
如何系统地学习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***x512具体在哪些方面应用?
-
2025-06-23花那么多钱举办婚礼的意义在哪呢?
-
2025-06-22支撑了我四年学费的男朋友,现在该分手吗?
-
2025-06-23为什么国人普遍不接受月付的订阅制而喜欢一口价买断制呢?
-
2025-06-23大部分语言都用尖括号<>表示泛型,为什么golang要标新立异用中括号?
相关产品