当前位置:当前位置: 首页 >
如何系统地学习Lean语言?_新疆维吾尔自治区阿克苏地区阿克苏市素上平炎商超设备有限责任公司
浏览次数:304发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为什么Dreamwe***er,FrontPage会被淘汰?
- 小别胜新婚吗?
- 公务员家庭聚餐也禁止了吗?
- Linux里面usermod -L zhangsan命令是什么?
- F-35作战半径1100公里,以色列距离伊朗首都德黑兰1600公里。以色列F-35是如何轰炸伊朗的?
- Firefox是如何一步一步衰落的?
- 颈椎病可以恢复吗?
- IDEA2023.2如何实现永久激活?
- 如何评价字节跳动开源的 Netpoll?
- 目前亚洲最厉害的五款战斗机是什么?
最新资讯文章
- 新手养鱼,养什么鱼好?
- 《武林外传》里佟掌柜每月只给伙计二钱银子,这是不是太少了?
- 为什么买了Switch后,却发现它并没有那么好玩?
- 如何看待机器之心重测高考数学全卷,Gemini夺冠,豆包DeepSeek并列第二?
- 什么时候你意识到做技术永无出路?
- ***拍大尺度片子时摄影师不会看光吗?
- 如何部署Prometheus监控K8S?
- 火车卧铺遇到过什么事情?
- 中国民间中小工厂能快速造出武器吗?
- 有没有好看的个人博客的设计?
- 如何评价设计模式之原型模式(克隆模式)?
- 孟羽童回应一手好牌打得稀烂,称「欣赏自己的野心和向上攀登的勇气」,如何看待她的表态?
- 如果全球都停止出口粮食,中国能否自给自足?
- 为什么男生都不喜欢173身高的女生啊?
- 买到烂尾楼到底该有多绝望?
- 中国民间中小工厂能快速造出武器吗?
- 为什么欧美影视喜欢露点?
- 初三画成这样算是有天赋吗?【正经求助】?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 为什么男生都不喜欢173身高的女生啊?