当前位置：当前位置： 首页 >
如何系统地学习Lean语言？
文章出处：网络 人气：发表时间：2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
同类文章排行
- 女生体毛旺盛是什么样的体验？
- systemd吞并了什么?
- 如何评价首个女性友好的编程语言HerCode?
- 为什么女儿忍痛不向我们说？
- 儿子抑郁四年左右了，他的未来该怎么办？
- 为什么人到中年，很少有身材苗条的？
- 2025年，Gitea 和 GitLab 应当如何选择？
- 龙芯在.NET上帮微软做CPU指令集适配，为什么到国内.NET开发者这里成了维护龙芯.NET版本?
- 为什么微软还没有倒闭？
- 家里想搞个服务器，有什么好的建议方案吗？
最新资讯文章
- 网络小白如何建立一个网站，供别人下载文件（主要是PDF和MP3）?
- 想听听看现在路人对五月天的看法?
- kafka如何解决重复消费?
- 一套正版adobe全家桶多少钱？
- 三只羊是不是被人做局了？
- 有没有追妻火葬场的文?
- 创业公司是否应该使用 Rust ？
- 始终怀不上孕是种怎样的体验？
- 学生校服如何隐藏内衣痕迹?
- 北大「韦神」粉丝破 2000 万，评论区成高考许愿池，如何看待家长们纷纷从韦神这里「沾福气」的心理？
- 有哪些是你用上了mac才知道的事？
- 什么是 5G 固定无线接入（FWA）？
- 后端真的比前端累吗?
- 现在大模型比较火，看着主流都是用Python。那Spring AI会坚持到最后吗?
- 如何看待 2026QS 世界大学排名？
- 27寸显示器是否有必要到4K？
- 女生体毛旺盛是什么样的体验？
- 新项目可以使用flutter吗？会不会因为不成熟，导致众多问题，最后不得不放弃？
- 西安电动车开始上牌，最终会导致什么结果？
- 央视罕见公布东风-5 洲际导弹参数，最大射程 12000 公里，怎样解读？此时公布有哪些意义？
