当前位置: 首页 >
如何系统地学习Lean语言?_天津市东丽区整昌救醒装饰盒有限合伙企业
文章出处:网络 人气:发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如果让你设计攻打台湾地区,你会有什么好的想法和打法?
- 哪个瞬间让你觉得编程只是一门技术?
- 网恋发现对方太好看了怎么办?
- 画房屋建模什么软件好?
- 86版西游记的女演员里,你觉得哪些特别漂亮?
- 为什么 Go 语言的 Error Handling 被某些人认为是一个败笔?
- 法布雷加斯陨落的核心原因是什么?
- docker有哪些有趣的用途?
- 真正的越南是什么样?
- 为什么中国的英语教育这么失败?
最新资讯文章
- 为什么一直唱衰的php语言反而日渐活跃?
- 小腿能粗到什么地步?
- 为什么苹果的Mac不能啃下“游戏”和“软件支持”这2块硬骨头?
- 当我们变老之后,会像现在的老人一样,几乎完全不懂“手机电脑”这类新出现的电子产品吗?
- 印巴大战,背后大国为何都不发声?
- 真正的越南是什么样?
- 成为体育女主播,光「好看」就够了吗?
- 如何评价 2025 年 6 月米哈游《绝区零》2.0 下半卡池,橘福福,凯撒?
- lcd屏幕如此护眼,为什么现在没有了?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 如何评价“寡姐”斯嘉丽·约翰逊的身材?
- 我的世界怎么租一个四个人的服务器?
- 国内为什么那么多人黑 WordPress ?
- 在非洲工作是怎样一种怎样的体验?
- 哪位大神谁有PR免费的链接啊?
- 吴柳芳的真实水平如何?
- 为什么华为价值2.3W的鸿蒙电脑用的是美国西数的SN740固态硬盘?
- NextJS的全栈能力现在如何了?
- postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?