当前位置： 首页 >
如何系统地学习Lean语言？_河南省新乡市新乡市平原城乡一体化示范区赶长疗臵移动电话股份有限公司
- Golang和J***a到底怎么选?
- 只考虑隐身和载荷航程，中国轰六K能投GBU57巨型钻地弹，炸福尔多***吗？
- 如何判断鱼缸中的硝化系统是否已经成功建立？
- 以色列为什么突然敢打伊朗了？不怕被报复？
- 为什么西安市突然不禁摩了？
- 请问照片里这个人是谁呀？
- 四川称将借鉴苏超经验办川超，四川有哪些特色可以成为川超的「梗」？川超还能延续苏超热度吗？
- 有一张巨强的显卡是什么体验？
- FVCOM这个软件怎么样呢？
- 一在国企的朋友说，在国企当混子，最有性价比，对此你怎么看？
联系我们
邮箱：
手机：
电话：
地址：
如何系统地学习Lean语言？
作者： 发布时间：2025-06-26 00:15:11点击：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
新闻资讯
-
2025-06-23空战的时候可不可以先击落预警机?
-
2025-06-23如何看待小米开源项目MiLM-6B？
-
2025-06-23相对于 Linux，Windows Server 存在的意义是什么？
-
2025-06-23你为什么放弃了wsl？
-
2025-06-23你为什么选择了flutter？
-
2025-06-23Anthropic 推出的 Claude Code 是什么技术原理呢？
相关产品
