当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 08:45:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 用PHP写了个小框架,怎么才能得到大佬们的指点?
- 如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
- 只是突然很好奇,已经造出了三艘航母,为何不能按照这样的模板,批量建造航母呢?
- 许多公式都有π和e,可能的原因有什么?
- 未来,苹果公司(Apple)没落的最可能原因是什么?
- 南昌舰以一对二逼退外舰详情披露,哪些内容值得关注?
- 肚子上面的肉怎么减?
- 为什么不能做出1T的内存条?
- 什么时候你开始发现俄罗斯不过如此?
- 网络作者为什么不能被别人知道真实身份?
最新资讯文章
- 海贼王为什么现在被全网黑?
- 学编程要不要买电脑?
- Go语言对象的内存布局是怎样的?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 为什么现在的年轻人活的都很通透?
- 第一次DIY装机需要注意什么?
- 2025年了,京东是不是已经度过了此次风波?
- 为什么穷人的家庭大都不和?
- 我应该设置多少kb才能让他不能玩游戏?
- 为什么一直唱衰的php语言反而日渐活跃?
- 微信服务器会保留聊天记录吗,会保存多久?
- 美国为什么热衷于开着飞机去敌人头顶扔炸弹?
- Vue性能优于React,那为什么还不用Vue?
- 怎样看待有人说“我化妆只为了取悦自己”?
- 有一双超级大长腿是什么感觉?
- Go语言对象的内存布局是怎样的?
- 大街上看到大白腿,忍不住瞄了两眼,算不算不尊重女性?
- 儿子抑郁四年左右了,他的未来该怎么办?
- 什么是 5G 固定无线接入(FWA)?
- PHP和Node.js哪个更爽?





