当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 浏览次数:发表时间:2025-06-29 08:45:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- Windows有哪些神级软件?
- 胸大的女孩子有什么烦恼?
- 将 bug 译作「蚆蛒」,将 debug 译作「揥蚆蛒」,音译兼意译,是不是很巧妙?
- Android原生动画这么好看,为什么国内厂商没有***用的?
- 为什么一部分 Go 布道师的博客不更新了?
- 如何评价鸿蒙电脑无法编写其自身运行的程序?
- 为什么都认为无GC语言一定会比有GC语言要快?
- 新买了一台nas,第一个月下载20t+,上传5+,不会被网警盯上吧?
- WiFi 7在我国,目前是否完全丧失6GHz下320MHz频宽的可能?
- 为什么中国人去非洲务工后,大多不愿意回国?
最新资讯文章
- Linux 下有没有类似 Everything 的搜索工具?
- 为什么现在的年轻人宁愿自己工资低点,也要过得舒服、不那么累?
- 宁波东方理工大学学费每人每学年 9.6 万,为什么会这么贵?
- 那你说什么样的是美女?
- 为什么小男孩小时候要比小女孩难养好多?
- 为什么面对 Adobe 的版权要求下,vposy 大神还能从容不迫?
- vscode 是盈利的吗?微软为什么要持续投入开发***?
- 不同公司的云服务器在使用上差别大么?
- 如何评价“寡姐”斯嘉丽·约翰逊的身材?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
- 真的有这种又苗条身材又爆炸的么?
- 哪个瞬间让你觉得编程只是一门技术?
- 新手平面设计师(方向美工)怎么有目的提升设计能力?
- 日本真的有些澡堂和温泉是不分男女的吗?有人去过不分男女的那种吗?
- 和校花谈恋爱是什么体验?
- 为什么 CRT 画质这么好也被淘汰,液晶反而发展的很好?
- 为什么以前的老人带孩子那么容易,自己带孩子确感觉很难,是矫情吗?
- 据调查使用五笔输入法人数仅剩 3%,五笔输入法是怎么没落的?
- 脸与身材不符是种怎样的体验?
- 美国B2轰炸机从关岛轰炸伊朗是走的什么路线?





