当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 山东产业升级成功还是失败了呢?
- 34 岁教授王虹在北京大学开数学讲座,她或将成为首位获得菲尔兹奖的中国籍数学家,有多厉害?
- 冬天也要穿胸罩吗?
- 大家在做登录功能时,一般怎么做暴力破解防护?
- 为什么警察执法有一点凶?有时候不会心平气和?
- 如何看待南京景枫中心把男厕改成女厕,并宣传「此处仅有女卫生间、家庭卫生间及无障碍卫生间」?
- 有哪些令你终身难忘的女性?
- 自己拥有一台服务器可以做哪些很酷的事情?
- 如何评价VICC的R7?
- 真的有这种又苗条身材又爆炸的么?
最新资讯文章
- 如何看待小米之家沦为“网吧”?
- 开腹手术,医生是如何处理患者的腹部脂肪的?
- 能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
- MacOS真的比Windows流畅吗?
- 如何评价***伊内斯·特洛奇亚的身材?
- 现在独立开发 Win 和 Mac 跨平台的桌面程序,Qt 是最佳选择吗?
- 老板说我设计了一周的海报还是不行,我到底该怎么学啊?
- Rust开发Web后端效率如何?
- 为什么老一辈人都觉得空调不能长时间吹?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- NAS的盘是否需要一次性买齐?
- 作为一个服务器,node.js 是性能最高的吗?
- Rust 的设计缺陷是什么?
- 独立站怎么开始做啊?
- 为什么有的女生喜欢穿紧身牛仔裤?
- HTTP/3 解决了什么问题,又引入了什么新问题?
- Mac mini M4,有必要升级24G内存吗?
- Rust 的设计缺陷是什么?
- 为什么同样是输球,常州和国足的风评却差那么多呢?
- 如何评价首个女性友好的编程语言HerCode?