当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 大家知道为什么艺术家都喜欢画女人体吗?
- 《捞女游戏》发售仅一天同时在线超 6330 人,如何看待游戏的销量?
- 如何看待rust编写的zed编辑器?
- 为什么戴上***眼镜看自己好丑,五官更为扁平?
- 印度是真的烂还是咱们在信息茧房里面?
- 能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
- 你的低成本爱好是什么?
- 6 月 21 日「苏超」第五轮南京队 4-0 战胜常州队,如何评价这场比赛?
- 《诛仙》中有哪些捧腹大笑的剧情?
- 中国的航空发动机现在是什么水平?
最新资讯文章
- 什么是稳定币?有人说它是「一场饮鸩止渴的游戏」,你怎么看?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 二氧化碳人工合成淀粉技术现在怎么没动静了?
- 女生真正的完美身材是什么样子?
- 华为和硅基流动发布CloudMatrix384超节点部署DeepSeek的报告,对行业有何影响?
- Chrome 浏览器设计的神细节有哪些?
- DLM(扩散语言模型)会成为2025年的Mamba吗?
- 为何说香港《稳定币条例》将改写未来世界比特币等数字货币市场格局,港币和人民币的国际化会受益于此么?
- 日本AV对中国人的毒害有多大?
- 得了强直性脊柱炎是不是一辈子就完了?
- 安装不了 adobe acrobat dc, 请指教?
- 被时代淘汰的水果有哪些?
- Mac mini M4,有必要升级24G内存吗?
- 如何看待青鸾峰上连续几本***霸占纵横榜首?
- 印巴大战,背后大国为何都不发声?
- 如何评价首个女性友好的编程语言HerCode?
- 2025年6月,到底买油车还是电车?
- 有没有一款音乐播放器,能连接nas音乐,创建音乐库,自动匹配歌词封面等等?类似infuse的概念呢?
- 腰肌劳损怎嘛治啊?