当前位置:当前位置: 首页 >
如何系统地学习Lean语言?_新疆维吾尔自治区阿克苏地区阿克苏市素上平炎商超设备有限责任公司
浏览次数:304发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 女生什么状态才体现出她已经爱上你了?
- docker有哪些有趣的用途?
- 游戏是否正在毁掉中国部分的年轻人?
- Postgres 和 MySQL 应该怎么选?
- Golang 中为什么没有注解?
- 用GraphQL如何实现以下API请求?与REST的思路相比实现方法孰优孰劣?
- 学生校服如何隐藏内衣痕迹?
- 脸与身材不符是种怎样的体验?
- 自己拥有一台服务器可以做哪些很酷的事情?
- 国内的银行软件搞所谓的“安全键盘”是不是有什么大病?
最新资讯文章
- JetBrains 放弃 AppCode 是否是一个错误决定?
- 国产数据库有什么坑?
- 如何评价陈楚生?
- H264和H265谁画质好,求回谢谢!?
- 女生被踢裆也会很疼吗?
- 为什么 Windows 的兼容性这么强大,到底用了什么技术?
- 一直不理解为什么xbox手柄不直接内置锂电池充电,而用一次性的电池,难道只是为了多赚钱卖电池套装么?
- 中美会因台海开战吗?
- 你为什么在日常生活中不敢穿的太漂亮?
- 有人说x86是条必沉的船,苹果早就跳船了,微软也有弃船的意图,你怎么看?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 穿了瑜伽裤真的舒服吗?
- 什么是 AI Agent(智能体)?
- 当初中俄为什么不摧毁朝鲜的核设施,让朝鲜拥有了自己的核武器?
- 穿瑜伽裤爬山的女生会不会害羞?
- 如何看待“Hutool”工具类库广受欢迎?
- rust有什么适合萌新练手的项目吗?
- 中国军事力量有希望达到全球第一吗?
- 做个web服务器,gin框架和go-zero怎么选?
- 怎么才能有尤雨溪一半强,该怎么学习?