如何系统地学习Lean语言？
- 发表时间：2025-06-29 11:20:17
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-26 00:40:15为什么Linux用户用sudo命令而不直接使用root用户？
- 2025-06-26 01:45:15刘亦菲为什么不结婚？
- 2025-06-26 02:00:16为何Microsoft能一直留在中国市场?
- 2025-06-26 01:25:15军工为什么不要轻易进？
- 2025-06-26 01:05:15有没有一款音乐播放器，能连接nas音乐，创建音乐库，自动匹配歌词封面等等？类似infuse的概念呢？
- 2025-06-26 00:55:16postgres集群的选择?
- 2025-06-26 01:30:16有哪些事，是社会底层人认识不到的?
- 2025-06-26 00:45:16程序员的时间管理真的是写代码1小时，调试8小时吗？
- 2025-06-26 01:00:15obsidian用一两年后会有多大？全文搜索还快吗？
- 2025-06-26 01:50:15Windows上有没有一分多屏和多屏合一的软件？
推荐产品
-
有谁现在正在使用苹果mac mini 吗？能分享一下使用感受不？
写在最前：这段时间一直没更新，是因为我刚换了工作，在熟悉新岗 -
GraalVM用来跑Minecraft效果如何？
关于 Minecraft 的 JVM 调优，可以参考这里： -
广州多益网络公司是一家怎样的网游公司？
先说结论，如果你有待遇能低20%的offer可选，那就选那个 -
家里想搞一个服务器，怎么才不违规？
一个个危言耸听，拿着鸡毛当令箭，像极了装在套子里的别里科夫：
最新资讯