当前位置： 首页 >
如何系统地学习Lean语言？_天津市东丽区整昌救醒装饰盒有限合伙企业
文章出处：网络 人气：发表时间：2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
同类文章排行
- SwiftUI 是不是一个败笔？
- 如何看待打五笔的人？
- 美国打击伊朗 3 处核设施，美国为什么此时介入？中东局势会升级吗？
- 如何评价华为HDC2025开发者大会？
- Flutter 为什么没有一款好用的UI框架？
- 如何看待使用mac mini当7*24h的服务器？
- 如何评价《灵笼 2》第六集？
- 你最满意的10款 PC 软件是什么？
- 为什么Rust的包管理器Cargo这么好用？
- 5 月 28 日 DeepSeek R1 模型完成小版本试升级并开源，具体有哪些提升？使用体验如何？
最新资讯文章
- 你为什么放弃了wsl？
- Flutter 为什么没有一款好用的UI框架？
- 高校里那些「非升即走」后「走」了的青年教师都怎么样了？
- 是买Macbook m3max 还是等m4max？
- 如何评价苹果 3 月 5 日发布的 MacBook Air M4，相比前代有哪些提升？
- 炫富真的很爽吗？
- 联想 128GB 超大内存迷你 AMD 主机上架，此款主机有哪些亮点？
- Node.js是谁发明的?
- 伊朗这次让以色列打惨了，这个国家还能挺过来吗？
- 5 月 28 日 DeepSeek R1 模型完成小版本试升级并开源，具体有哪些提升？使用体验如何？
- 如何评价腾讯云SDK的GO语言仓库有20万个tag？
- 为什么武林中的女侠不但武功奇高，还没有练出来麒麟臂大粗腿和老茧？
- 新手怎么能快速学会编程语言呢?
- 2025年现在开发php项目选择lar***el框架好还是thinkphp框架好？
- 如何看待机器之心重测高考数学全卷，Gemini夺冠，豆包DeepSeek并列第二？
- 《庆余年》中的范闲为什么突破不了大宗师？
- 为什么很多时候对女儿最狠的却是母亲？
- 前端因为像素还原设计稿而离职，这是个别现象吗？
- 微软暂停专用 Xbox 掌机开发，转而优化 Windows 11 的掌机游戏体验，这背后原因有哪些？
- 有没有一款音乐播放器，能连接nas音乐，创建音乐库，自动匹配歌词封面等等？类似infuse的概念呢？