当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-28 00:20:12
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 国内目前独立开发者收入如何?可以养活自己以及家人吗?
- 为什么说男人至死都是少年?
- 内塔尼亚胡***访时公开威胁,不排除干掉哈梅内伊,如何评价这一言论?伊朗会亡国吗?
- 你的亲戚提过什么过分的要求?
- 如何看待国内开源项目的不可持续性?
- 国密加密算法有多安全呢?
- 你如何评价小米这个品牌?
- 马兰基地巨型飞翼无人机的出现是否代表制造b21 类似物对于中国来说不再是个难题。?
- 评价一下Proxmox VE与ESXi的优劣?
- 为什么抖音上的姑娘都那么好看,现实中我怎么一个也见不着?
最新资讯文章
- 南京六大高中是哪六大?
- 有哪些值得推荐的小型 C 语言开源项目?
- 如何看待伊朗最高领袖哈梅内伊 6 月 18 日发布“必须强力打击以色列,永不妥协”的声明?
- 中科院古脊椎所付巧妹和河北地质大学季强发表顶刊,表明哈尔滨龙人属于丹尼索瓦人,这一发现有什么意义?
- 如何看待:“伊朗国家电视台:今晚会发生一件大事,世界将铭记几个世纪”?
- 我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
- 为什么全国人民都知道武汉的交通很差,但是武汉人不知道?
- 广东怀集遇历史最大洪水,约 30 万人受灾,积水最深处达 3 米,目前当地情况如何?
- 有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
- 鱼是饿不死的都是撑死的,这句话是真的吗?
- Python+rust会是一个强大的组合吗?
- 如果中国的商用飞机是由小米来造,而不是中国商飞,现在会是怎样的情况?
- 055一打一能不能打过阿利伯克?
- 京东外卖为什么一直没有骑手接单?
- 奥迪暂停全面电动化***,不再设定停售燃油车时间表,此前沃尔沃、奔驰也调整全面电动化***,如何解读?






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