当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 浏览次数:发表时间:2025-06-29 09:30:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 目前最具性价比的全栈路线是啥?
- 如何看待rust编写的zed编辑器?
- 大一计算机新生怎么合理利用github?
- 苹果 6 月 10 日召开的 2025 年全球开发者大会「WWDC25」,有哪些值得关注的信息?
- 35的程序员被辞了可以自己接外包啊?为什么都那么悲观呢?
- 怎么看待三十而已里说的养鱼让人玩物丧志,养鱼是魔鬼,是黑洞,养鱼毁三代鱼缸毁一生的话?
- 为什么要远离社会底层?
- 住家保姆为什么总干不长?
- 最近,你有什么顿悟?
- 2025年了 Rust前景如何?
最新资讯文章
- 使用 JetBrains 的产品时,你是倾向于为每个语言分别安装 IDE,还是安装语言的插件?
- 做数据库内核开发的是不是很少?
- 女生真正的完美身材是什么样子?
- 为什么都认为无GC语言一定会比有GC语言要快?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 如何评价 Vue.js 纪录片?
- 大家猜猜伊朗的结局如何?
- 有哪些观赏鱼是迄今为止确定最容易养最不容易死的?
- 糖尿病盲人小姑娘去四川旅游,跑遍成都各大医院药房都买不到药,对此有什么看法?
- 真的有这种又苗条身材又爆炸的么?
- Rust 和 Go 的并发模型有什么不同,为什说 Rust 的并发模型更好 ?(1.0已没有内建模型?
- 上海迪斯尼为什么老是打架?
- 各位都在用Docker跑些什么呢?
- 腰肌劳损可以怎样去改善?
- 吵架后,老公快一个星期不联系,是要离婚的节奏吗?
- 作为一个服务器,node.js 是性能最高的吗?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 目前中国程序员和美国程序员的差距在哪里?
- 我应该设置多少kb才能让他不能玩游戏?





