当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 2025年了 Rust前景如何?
- 为什么面向对象编程这么困难?
- 网传广东怀集洪水后赵一鸣超市被哄抢,县***回应相关单位正在核实,若属实哄抢者该承担哪些法律责任?
- 女生真正的完美身材是什么样子?
- 为什么人到中年,很少有身材苗条的?
- 如何看待三峡集团总部搬迁至武汉?
- SpaceX 星舰 36 号火箭静态点火测试爆炸,爆炸的原因是什么?会对星舰发展产生什么影响?
- 不限制语言,客户端GUI开发用什么好?
- 到底是9800x3d+5070ti还是u7+5080?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
最新资讯文章
- 女生被踢裆也会很疼吗?
- 为什么 macOS 并不差,可市场总敌不过 Windows?
- Golang与Rust哪个语言会是今后的主流?
- 有哪些让你目瞪口呆的 Bug ?
- 能分享一下你写过的rust项目吗?
- 你的低成本爱好是什么?
- 超级喜欢穿短裙正常吗?
- 韩寒现在为什么不写书了呢?
- 用J***a写Android的时代是不是要结束了?
- 湖北农科院招聘被指「萝卜坑」,纪委回应称入围者与一处长有亲属关系,真实情况如何?如何规避此类问题?
- 服务器能否拒绝非浏览器发起的HTTP请求?
- 公立医生帮联系民营救护车,800 公里收费 2.8 万元,收费合理吗?救护车收费标准是什么?
- HTTP/3 解决了什么问题,又引入了什么新问题?
- ***拍大尺度片子时摄影师不会看光吗?
- 宝宝们 敢不敢发出你们自己最可爱的自拍照?