当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-28 03:50:10
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 国外(GoDaddy)注册的域名如何在国内备案?
- 如何判断颈椎病的严重程度?
- 为什么有人打羽毛球会放水?
- 如果将几百核心的服务器 CPU 当作 GPU 使用,会发生什么?
- 编程语言 MoonBit 发布 Beta 版,正式进入企业场景应用,会带来哪些影响?
- 一个练过功夫的姑娘能打过一个没练过的男人吗?
- 如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
- 吴柳芳的真实水平如何?
- 为什么欧美影视喜欢露点?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
最新资讯文章
- 如何看待《剑星》已登顶 Steam 全球热销榜?
- 一个练过功夫的姑娘能打过一个没练过的男人吗?
- 打下来全部的星链近地卫星好打么?
- 用Unity做游戏,所有小兵怪兽单位共用一个脚本写好还是每个单位用不同的脚本?
- 2025年现在开发php项目选择lar***el框架好还是thinkphp框架好?
- 为什么这次以色列打伊朗,网上声讨的人少了,反而都是嘲笑调侃伊朗?
- 不用CDN就没事,用阿里云CDN就被攻击刷流量,阿里云表示证明不了就要用户买单,如何看到这种行为?
- 为什么说男人至死都是少年?
- 为什么桂林的旅游做不起来?
- 淘宝为什么要提供npm镜像?
- 如何做到Redis中五大数据结构底层实现?
- Rust的设计缺陷是什么?
- Office 中为何还要保留 Access 数据库?
- 作为一个服务器,node.js 是性能最高的吗?
- mysql每天有1千万数据 怎么办?分表吗 有什么好的方案。?
- 马上领证了,发现男朋友离不了游戏,让他少打游戏他会非常生气,正常吗?
- 为什么说耿直的人更容易吃亏?
- 工资突然爆炸式提升是什么感觉?
- 都2025年了,为什么华为依然不敢公布芯片的信息?
- 俄如果真的投下了核弹,世界会如何?





