当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 21:25:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为何有人说儒家文化下极容易产生「伪君子」?它的道德教化不是以平等和尊重的为前提的吗?
- 什么才是真正的爱情?
- 米哈游创始人蔡浩宇称AIGC将彻底改变游戏行业,游戏创造只属于顶尖团队,普通开发者建议转行,如何理解?
- 2025年小米su7 性价比很低了,为何还不更新改款?
- 程序员如何用好 Cursor 工具?
- 皮肤太白是种怎样的体验?
- 得了强直性脊柱炎是不是一辈子就完了?
- ant-design-vue 社区为什么不维护了?
- 如何评价苏州N1GS下场***?
- 《魔兽世界》当年为什么要砍天赋树?
最新资讯文章
- 小米发布了 REDMI 首款旗舰小平板 K Pad,仅 8.8 英寸,小巧便携,如何评价这一设计?
- 巅峰期的成龙身体素质是怎么一种存在?
- 商城里如何缓存商品信息?
- 自己拥有一台服务器可以做哪些很酷的事情?
- 如何评价“寡姐”斯嘉丽·约翰逊的身材?
- MiniMax Week第三天推出通用 Agent,体验如何?对行业会带来哪些影响?
- 为什么民众更关注华为对5nm芯片的突破,而不是关注小米已经自研的3nm芯片?
- 前端,后端,全栈哪个好找工作?
- 一名女子在杭州万象城遭挟持被捅 20 多刀,隆胸***体救了一命,这反映出哪些公安系统的问题?
- 2024 年净水器哪个牌子好?家用净水器的选购攻略是什么?
- 作为独立开发者,有哪些可以分享的经验?
- 新手养鱼,鱼缸中能放入哪些水草?
- 《魔兽世界》当年为什么要砍天赋树?
- 大家有什么烧钱的爱好吗?
- 英特尔的衰落,是因为真正做事的工程师被挖了?还是公司战略出问题?
- 为什么突破性的技术总是最先发生在西方?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 华为Pura 80首销遇冷,是否说明消费者已经开始对麒麟芯片性能有所觉醒?
- 商城里如何缓存商品信息?
- 中餐炒菜那么好吃,为什么欧美人不学去?