当前位置: 首页 >
如何系统地学习Lean语言?_雷火·竞技(中国)-全球领先的电竞赛事平台
文章出处:网络 人气:发表时间:2025-06-29 08:45:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如何评价泰勒·斯威夫特的身材?
- 巴基斯坦援助伊朗防空,大家怎么看?
- 如何评价“寡姐”斯嘉丽·约翰逊的身材?
- 想深入学习网站后台技术,有哪些建议?
- 现今大部分哺乳动物都是六千万年前恐龙灭绝后的同一种哺乳动物的后代吗?
- 你后悔娶了现在老婆吗?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 为啥软路由大多都是爱快加openwrt的组合,单openwrt有什么缺点嘛?
- 为什么武汉和成都发展差不多,但成都美誉度口碑高于武汉?
- 雷军为什么不愿意用性价比打法进军NAS?
最新资讯文章
- 墨脱水电站建设有什么进展?
- 为什么一谈到Wi-Fi想支持6GHz,总有人说那你可以去国外?
- 个人轻NAS极空间好还是绿联好啊?
- 如何证明散片 CPU 比盒装 CPU 差?
- 中国民间中小工厂能快速造出武器吗?
- 为什么要学go语言,golang的优势有哪些?
- 一个练过功夫的姑娘能打过一个没练过的男人吗?
- 不结婚,不生孩子,老了怎么办?
- 联想 128GB 超大内存迷你 AMD 主机上架,此款主机有哪些亮点?
- 媒体称以色列防空成本一晚近 3 亿美元,最多再撑 12 天,美方会支援吗?若无美补给结果会如何?
- 从零写一个3D物理引擎难度多大?
- 作为一个服务器,node.js 是性能最高的吗?
- 如何评价前端框架 Solid?
- 如何看待《捞女游戏》导演***辉B站账号遭封,是否遭到打击报复?
- 未过门的孙媳妇需要给男方爷爷出殡吗?
- Firefox是如何一步一步衰落的?
- postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
- 如何评价仓颉编程语言7月30日开源?
- 伊朗到底有没有击落以色列的F35?
- 什么才是真正的爱情?





