当前位置: 首页 >
如何系统地学习Lean语言?_纳雍网站建设_网站建设公司_网站建设设计制作_seo优化
文章出处:网络 人气:发表时间:2025-06-29 09:30:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- graalvm为啥国内没有流行起来,go写起来实在太恶心了,难道任凭go独霸云原生?
- 为什么小男孩小时候要比小女孩难养好多?
- 为什么在日本是实体店干掉电商,在中国却是电商干掉实体?
- 如何评价高圆圆的身材算是美女类型的吗?
- 本人女20,平胸跟男生一样怎么办 ?
- 为什么管理一严,员工就走人?
- 宁波东方理工大学学费每人每学年 9.6 万,为什么会这么贵?
- 自己拥有一台服务器可以做哪些很酷的事情?
- Golang和J***a到底怎么选?
- 如何评价引入 Liquid Glass 设计的 iOS 26?
最新资讯文章
- 用PHP写了个小框架,怎么才能得到大佬们的指点?
- ***后期用什么软件把抖动调好?
- 如何低成本地过有益的生活?
- 快乐教育毁了多少孩子了?
- 美国登月到底是不是真的?
- 为什么一部分 Go 布道师的博客不更新了?
- 最讨厌和哪种人打羽毛球?
- 有哪些BI工具惊艳了你?
- 如何评价C# Satori GC?
- 我撸猫撸得她舒舒服服的为啥突然咬我?
- 人工智能相关专业里有什么「坑」吗?
- 吴柳芳的真实水平如何?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 扫黑风暴为什么他们费老大劲杀这么多人不如直接把督导组干掉?
- 你为什么对kotlin失去好感?
- Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?
- 现在个人博客不能备案了吗?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 不限制语言,客户端GUI开发用什么好?
- 宁波东方理工大学学费每人每学年 9.6 万,为什么会这么贵?





