当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 我应该设置多少kb才能让他不能玩游戏?
- 目前react的生态系统是什么情况,有没有比较公认的成熟的开发技术栈?
- 5070ti什么时候才能回归正常价格?
- 为什么很多公司都不招大龄码农?
- Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?
- 用J***a写Android的时代是不是要结束了?
- 孩子网上学编程,靠谱吗?
- 有人说24GB和48GB内存容量是新一代电脑平台最均衡的方案,真的是这样吗?电脑内存应该如何选?
- 为什么有的女生喜欢穿紧身牛仔裤?
- PHP现在真的已经过时了吗?
最新资讯文章
- 有丧尸末日疯狂囤货的爽文***吗?
- 你为什么在日常生活中不敢穿的太漂亮?
- 谷歌云服务宕机导致 OpenAI、Shopify 等服务中断,此次宕机的具体技术原因是什么?
- 可以随身携带一个Linux系统吗?
- CPU 为什么很少会坏?
- 手机里你最不舍得删掉的一张照片是什么?
- 女生真正的完美身材是什么样子?
- Mac mini M4,有必要升级24G内存吗?
- 印巴大战,背后大国为何都不发声?
- vscode 是盈利的吗?微软为什么要持续投入开发***?
- 做一个网站真的只需要几百块钱吗?
- 有没有免费的云服务器?
- iOS的墓碑机制这么厉害,为什么Windows、Linux不***用呢?
- 什么样的人算是中了基因***?
- 为什么欧美影视喜欢露点?
- 为什么中国盛产“巨婴”,一到国外就通情达理?
- 有谁组装NAS时,尝试过的最低配置是什么?
- 30岁了,你在深圳过着什么样的生活?
- 四岁的女孩儿跳舞怕压腿,家长该坚持吗?
- 鸿蒙PC操作系统是不是就是手机操作系统?