如何系统地学习Lean语言？
- 发表时间：2025-06-26 07:30:15
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-24 07:00:15HTTP/3 解决了什么问题，又引入了什么新问题？
- 2025-06-24 08:05:16MongoDB的缺点以及你为什么不使用MongoDB？
- 2025-06-24 07:35:15为什么我感觉现代医学还是很落后？
- 2025-06-24 07:40:15为什么 lua 在游戏开发中应用普遍？
- 2025-06-24 07:05:15如何评价华为最新长焦专利技术？能否颠覆手机长焦摄影的目前限制？
- 2025-06-24 08:00:15手机存储器为什么会出现速度倒挂的现象，外存比内存快？
- 2025-06-24 08:30:17你们都用 Flutter 开发了什么 App？
- 2025-06-24 07:10:16你怎么看待剪映收费过高问题？
- 2025-06-24 08:10:17Android原生动画这么好看，为什么国内厂商没有***用的？
- 2025-06-24 08:00:15大家有什么被中医震惊征服的经历吗？
推荐产品
-
你怎么看待剪映收费过高问题？
2021年第1次使用剪映的时候 我发现它的大部分功能都在服务 -
为什么开发一个 AI Agent 看似容易，但真正让它「好用」却如此困难？技术瓶颈主要在哪里？
先写一个短的结论。 那就是AI Agent = 多个AI大 -
如何评价《灵笼 2》第六集？
《灵笼第二季》的5-6集，作为作品的表达而言，实际上非常重要 -
如何评价剪映svip，599一年，有替代方案吗？
我一个影视剪辑的up，前段时间捏着鼻子续费了这个 ︎ 剪映。
最新资讯