当前位置:当前位置: 首页 >
如何系统地学习Lean语言?_MK(体育科技有限公司)体育·官方网站
浏览次数:304发表时间:2025-06-28 03:50:10
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 孔雀鱼的种类是如何划分等级的呢?
- ***拍大尺度片子时摄影师不会看光吗?
- 电脑有64G的物理内存(DDR5 5200),完全够用了,可以关闭系统的虚拟内存吗?
- 你用过最「长寿」的电子产品是什么?
- 家用NAS是成品还是DIY?
- 大街上看到大白腿,忍不住瞄了两眼,算不算不尊重女性?
- 为什么韩国的热辣舞团无法征服中国的男性市场??
- 一名女子在杭州万象城遭挟持被捅 20 多刀,隆胸***体救了一命,这反映出哪些公安系统的问题?
- Caddy 和 Nginx 比有哪些优点和缺点?
- Go 语言 Web 应用开发框架,Iris、Gin、Echo,哪一个更适合大型项目?
最新资讯文章
- MiniMax Week第三天推出通用 Agent,体验如何?对行业会带来哪些影响?
- 为什么感觉wps的用户越来越多,office没人用了?
- Apple 为什么不封杀 Flutter 呢?
- 如何评价“寡姐”斯嘉丽·约翰逊的身材?
- postgres集群的选择?
- SwiftUI 是不是一个败笔?
- 女明星做了什么医美项目保持童颜?
- 有什么好用的AI软件推荐吗?
- 闲置老笔记本,想做一个服务器,本人电脑白痴想请教详细细节?
- 和女生合租,都会发生什么事情?
- 你认为美国最近30年最烂的一个总统是谁?
- 为什么杨家将的故事被观众们抛弃了?
- 为什么都认为无GC语言一定会比有GC语言要快?
- 为什么 mac mini 的 m4 版本价格这么低呢?
- Golang和J***a到底怎么选?
- Firefox 浏览器是否还有可能浴火重生?
- 万兆的网络速度有多大意义?
- 有什么是你去了上海才知道的事情?
- 始终怀不上孕是种怎样的体验?
- 科学怎么解释中医把脉孕检,并且知道怀的男孩女孩?





