当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-26 00:15:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 海蛇能在陆地上生活吗?
- 怎么看待北京大龄单身女突破80w?
- 如何评价高圆圆的身材算是美女类型的吗?
- 华为Pura 80首销遇冷,是否说明消费者已经开始对麒麟芯片性能有所觉醒?
- 为什么伊朗的防空系统失效了?
- 飞天茅台散瓶批发价跌破 2000 元,背后什么原因?收藏茅台还能增值吗?
- 为什么越来越多的国内男孩,要娶国外女孩?
- 为什么我觉得诛仙写的不怎么样?是我层次太低么?
- 为什么大厂宁愿用go也不用.net?
- 如何制造一个高级的阳谋?
最新资讯文章
- 为啥 php 还有这么多人在用啊?
- 《西虹市首富》里面想花完钱却越花越多的情况,现实里面会发生吗?
- 为什么我觉得诛仙写的不怎么样?是我层次太低么?
- 为什么小米不是用玄戒o1而是用骁***gen3作为小米yu7的座舱芯片呢?
- 如何搭建自己CDN服务器?
- 「绝世美女」都有什么特点?
- 为何Microsoft能一直留在中国市场?
- 游戏王里有哪些「名不副实」的卡?
- 为什么手机摄影已经那么牛了,但还是无法替代相机?
- 为什么伊朗的防空系统失效了?
- 为何年轻人上班不愿意精致打扮?
- 怎么理解rpc,既然有***请求了为啥还要用rpc?
- 南海有这么多石油,为什么中国不开***?
- 吵架后,老公快一个星期不联系,是要离婚的节奏吗?
- 胖东来能长久下来吗?
- 自己拥有一台服务器可以做哪些很酷的事情?
- 女生真正的完美身材是什么样子?
- 本人女20,平胸跟男生一样怎么办 ?
- 如何评价甲亢哥香港行一个香港明星都没遇见?
- count(*) count(1)哪个更快?





