当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 09:30:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 国密加密算法有多安全呢?
- 为什么Rust的包管理器Cargo这么好用?
- 为什么外企愿意向中国转让高铁技术?
- 如何看待现在大多数男人都不谈恋爱了?
- 明星现实中真的很漂亮吗?
- 30岁小白准备自学编程要多久才能学完?
- SpaceX 星舰 36 号火箭静态点火测试爆炸,爆炸的原因是什么?会对星舰发展产生什么影响?
- 普通家庭对孩子最好的托举是什么呢?
- 《甄嬛传》中祺贵人为什么和甄嬛反目?
- 如何评价电视剧《欢愉的艺术》?
最新资讯文章
- 如何看待 Rust 写的 PNG 解码器比 C 实现更快?
- 写业务的话,go是不是垃圾?
- Rust 的设计缺陷是什么?
- 央企的信创,是否有必要把 spring 替换成国产的 solon ?
- 2025年了 Rust前景如何?
- 美军 B-2 轰炸机参与袭击伊朗核设施,B-2轰炸机战斗力如何?会摧毁伊朗核设施吗?
- 为什么打仗时候狙击枪没多少人用?
- 公司就一个后端一个前端,有必要搞微服务吗?
- 普通家庭对孩子最好的托举是什么呢?
- 同时使用多个显示器能提高工作效率吗?
- 国密加密算法有多安全呢?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
- 家庭饮用水的质量,对全家健康影响有多大?
- 能分享一下你写过的rust项目吗?
- 为啥 php 还有这么多人在用啊?





关注公众微信号
移动端,扫扫更精彩