当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 谷歌云服务宕机导致 OpenAI、Shopify 等服务中断,此次宕机的具体技术原因是什么?
- 中国的下一代驱逐舰是9000t级通驱还是055改型?
- 上海的你,择偶的标准是怎样的?
- 女主播和榜一大哥现实碰面会做什么?
- 在韩国生活有什么体验?
- 怎么用deepseek 编写程序代码开发软件?
- 大家怎么看待长沙这个城市?
- 为什么wps现在还有很多人用?
- 为什么个人需要公网ip?
- 慈禧为什么要反对戊戌变法?
最新资讯文章
- 如何看待苹果在 WWDC25 发布的 Foundation 模型框架,它将为开发者和用户带来哪些改变?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 印度50年内会不会超越中国?
- 为什么日本人口密度这么大还能住一户建,中国只能住楼房?
- 儿子抑郁四年左右了,他的未来该怎么办?
- 如何看待网红「中医少女」黄琪惠?
- 全平台应用框架会是趋势吗?flutter、tauri、maui你更看好哪一个?
- 前端因为像素还原设计稿而离职,这是个别现象吗?
- 写业务的话,go是不是垃圾?
- 吃爽了是怎样一种体验?
- 继续C++还是转前端?
- 中国海军是如何崛起的?
- 中国的歼35A可以吊打十架韩国的KF21吗?
- ant-design-vue 社区为什么不维护了?
- 请问买个nas,能够直接把游戏装进去吗?
- 《碟中谍 8》都有哪些槽点?
- jwt的设计合理吗?
- 电影《碟中谍》系列中哪一部最好?
- OSI 协议与 TCP / IP 协议有什么差别?
- 编程问题哪里解决?