当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-27 22:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为什么华为价值2.3W的鸿蒙电脑用的是美国西数的SN740固态硬盘?
- 如果SSD硬盘闲置很多年,内部数据会不会丢失?
- 苹果C口和安卓C口有什么区别?
- 如何评价张靓颖刘宇宁《九万字》?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 龙珠在全球***界的地位是怎么样的?
- 那些168cm才80来斤的女生,真的现实生活中好看吗?
- Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?
- 多益网络输了餐费官司,准备近几年搬离广州,你怎么看?
- 《碟中谍 8》都有哪些槽点?
最新资讯文章
- Vue性能优于React,那为什么还不用Vue?
- 自研项目,PHP用什么框架最好?
- 伊朗为什么会被中俄抛弃?
- 2025 年 9 月 3 日天安门大阅兵,中国将对外释放出什么信号?
- 你最满意的10款 PC 软件是什么?
- 如何评价广西玉林的云天宫?
- 中国足协官宣,伊万科维奇不再任国足主教练,将由久尔杰维奇代理,如何评价伊万的执教表现?你看好该调整吗?
- 为什么MacBook pro不用高刷新率的屏幕?
- 为什么只有Linux内核中有KVM?
- 苹果 6 月 10 日召开的 2025 年全球开发者大会「WWDC25」,有哪些值得关注的信息?
- 去海边有什么拍照和穿搭建议?
- 毕设答辩,老师说node不可能写后台怎么办?
- Golang和J***a到底怎么选?
- Dify工作流,你有哪些好玩的点子?
- 你为什么在日常生活中不敢穿的太漂亮?