当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 06:05:10
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 国产手机APP为什么越来越臃肿?
- 程序员需要用到内置kvm功能的显示器吗?或者是外置的kvm切换器吗?
- 女生到底应不应该穿***的衣服?
- count(*) count(1)哪个更快?
- 如何看待“没有生态的墨水屏设备就是信息孤岛,最终会沦为泡面盖”这种观点?墨水屏未来的发展趋势是什么?
- lcd屏幕如此护眼,为什么现在没有了?
- 相亲男约我出去玩,我说来月经了,他回复「那还是不去玩了」,我很生气,他解释是开玩笑,这男的是不是渣男?
- 在微软(Microsoft)工作是怎样一番体验?
- 2025年六月现在硬盘咋还涨价了呢?
- 为什么日本人室内光脚啊?他们屋子里有这么干净吗?
最新资讯文章
- 为什么美国中小学生学的数学比我们简单,美国人却还能做出超级牛的东西?
- MacOS真的比Windows流畅吗?
- 最近突发奇想,想做以NAS为主的家用媒体中心。下面是我做的一个草图,各位大神看看可行吗?
- 鱼缸氨氮含量低,但是硝酸盐和亚硝酸盐爆表,已经一个多周了,咋办?
- 为什么小公司留不住人?
- 妹妹说C字裤只是本体可能好看而已,穿在身上其实非常丑,爱美的女孩根本不买,是这样的么?
- 为什么没有人在意iPad Pro 2024标准版仅搭载的8GB内存(RAM)?
- 女生第一次来大姨妈什么感受?
- 如何评价张靓颖刘宇宁《九万字》?
- 为什么大部分人都认为2560x1440是2K?
- 为什么年轻人不要养龟?
- VLC,Ubuntu,FFmpeg 这些软件究竟是什么人开发的?为什么免费?他们不求回报又何以生存?
- 你身边身材最好的女生是什么样?
- 你怎么看待剪映收费过高问题?
- 亲眼见到明星本人是什么体验?






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