当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 08:45:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 自己正在变老的明显特征是什么?
- 为什么这么久了还是没有主流软件开发鸿蒙版?
- 特厨隋坡探店成都快餐店,给出80分以上的高分,为什么评分远高于大饭店?
- 独立开发***能盈利吗?感觉好累...
- 榴莲的产量明明很高,为什么还卖那么贵?
- 浙江真的可以三千名上浙大吗?
- 2025,j***a开发,已经炸了吗?
- 为什么欧美影视喜欢露点?
- 公立医生帮联系民营救护车,800 公里收费 2.8 万元,收费合理吗?救护车收费标准是什么?
- 大街上如果有人管你要烟,给还是不给?
最新资讯文章
- 支撑了我四年学费的男朋友,现在该分手吗?
- 为什么洗碗机洗一次碗要3个小时,结果还是那么多年轻人决定要买一台放在家里?
- 敢不敢留下一张自拍照让人打分?
- 本人女20,平胸跟男生一样怎么办 ?
- 家庭网络,是否有必要做多个网段并隔离?
- MiniMax Week第三天推出通用 Agent,体验如何?对行业会带来哪些影响?
- 浙江真的可以三千名上浙大吗?
- 皮肤太白是种怎样的体验?
- 如何评价B站up主***千代退网?
- 《英雄联盟》三个解说里,那个总也插不进嘴的解说是什么感受?
- 是什么原因导致HDR无法推行?
- 轰20的亮相为什么被反复推迟?
- 如何搭建自己CDN服务器?
- Golang和J***a到底怎么选?
- 苹果在 WWDC 上发布的 Apple Games 平台能否成为进入游戏行业核心领域的关键转折点?






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