如何系统地学习Lean语言？
- 发表时间：2025-06-29 11:20:17
- 来源：
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
推荐资讯
- 2025-06-25 18:35:17字节大量使用新语言，包括go，rust等，为什么阿里一直都抱着j***a不松手？
- 2025-06-25 19:15:15中国的导弹水平到底怎么样？
- 2025-06-25 18:10:16Jetpack Compose 和 Flutter 应该先学哪个呢？
- 2025-06-25 19:00:16女生腰肌劳损了还能健身吗？
- 2025-06-25 19:00:16如果SSD硬盘闲置很多年，内部数据会不会丢失？
- 2025-06-25 18:35:17怎么评价国内AI企业人肉背15块80TB硬盘，飞去马来西亚用英伟达训练数据，以规避美国禁令?
- 2025-06-25 18:10:16为什么有的人喜欢带着 MacBook 去咖啡店或者书店上网，而不是 ThinkPad 之类的？
- 2025-06-25 18:45:16如何将Windows11的中文用户名改为英文？
- 2025-06-25 18:45:16MiniMax Week第三天推出通用 Agent，体验如何？对行业会带来哪些影响？
- 2025-06-25 17:55:18一个非常漂亮的残疾女孩，会有人愿意娶吗？
推荐产品
-
如何评价前端框架SolidJS?
性能好，心智负担低，语法易上手，ts 友好。 但是随着 we -
如何评价ipad pro2024？
首先把苹果几个恶心人的的地方说一下： 8999的起售价还有6 -
万兆的网络速度有多大意义？
家里正好就是万兆宽带，先上测速： 直观感受就是，下载和更 -
现在个人博客不能备案了吗？
我之前给博客备案，然后接到电话说名字不可以叫“xx博客”，我
新闻动态
最新资讯