当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 00:15:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 自己拥有一台服务器可以做哪些很酷的事情?
- ***移动在德国起诉小米侵犯4G专利,大家如何看待此***?
- 苹果连了校园网,为什么会出现这个标志?
- 男子因眼睛小被小米汽车系统频繁误判疲劳驾驶,一路提醒20多次,这是智能汽车通病吗?怎么解决该 bug?
- 央企的信创,是否有必要把 spring 替换成国产的 solon ?
- 乡下的土鸡真的值100块钱吗?
- SQLite不能支持高并发,为什么又说它能支持 10万 的日访问量?
- 公立医生帮联系民营救护车,800 公里收费 2.8 万元,收费合理吗?救护车收费标准是什么?
- Caddy 和 Nginx 比有哪些优点和缺点?
- 你认为NS2现在值得入手吗?
最新资讯文章
- 如何看待机器之心重测高考数学全卷,Gemini夺冠,豆包DeepSeek并列第二?
- 我国004号航母什么时候下水?
- 鸿蒙PC操作系统是不是就是手机操作系统?
- 低功耗web服务器 迷你主机 小型服务器 求推荐?
- 入职第一天有什么瞬间让你马上想离职的?
- 做成这样可以干平面设计吗?
- golang 与rust 在服务器程序领域相比较,各有什么优劣势?
- 为什么战斗机都很好看?
- 网传广东怀集洪水后赵一鸣超市被哄抢,县***回应相关单位正在核实,若属实哄抢者该承担哪些法律责任?
- 怎么才能有尤雨溪一半强,该怎么学习?
- coreldraw软件算是冷门软件吗?
- 有一双超级大长腿是什么感觉?
- 有个自闭症的孩子,该放弃吗?
- 伊以的对轰证明伊朗似乎没那么菜!美国会下场吗?
- 能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?






关注公众微信号
移动端,扫扫更精彩