当前位置: 首页 >
如何系统地学习Lean语言?_海南省儋州市洋浦经济开发区粒酸新复合肥合伙企业
- 看新闻说老美的B-2连续飞了37小时,飞行员的吃喝拉撒怎么解决?
- 为什么人到中年,很少有身材苗条的?
- 广西举全区之力支持柳州化解债务,是否意味着***隐性债务正受到越来越多的重视?
- 日本西瓜这么贵为什么不把中国的西瓜进口到日本?
- 为啥徐志摩这么讨厌张幼仪还有好几个孩子?
- 学计算机的要把这些书都全部看完吗?
- 现在的乡镇学生为什么越来越难教?
- 为什么国外网站总喜欢弹出cookie访问权限弹窗,国内网站却没有,这么做有什么意义?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 和异性最疯狂有多疯狂?
联系我们
邮箱:
手机:
电话:
地址:
如何系统地学习Lean语言?
作者: 发布时间:2025-06-26 07:30:15点击:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
新闻资讯
-
2025-06-27消息称苹果 macOS 26 将不再支持部分旧款英特尔 CPU 机型,这背后原因有哪些?
-
2025-06-27iOS的墓碑机制这么厉害,为什么Windows、Linux不***用呢?
-
2025-06-27如何看待山西蒲县疾控中心职工“1岁工作,22岁退休”冒领养老金69万***?
-
2025-06-27只能选一个,你选谁?
-
2025-06-27为什么董明珠攻击小米空调,而公牛却没有攻击小米插座?
-
2025-06-27如何评价 2025 年 6 月米哈游《绝区零》2.0 下半卡池,橘福福,凯撒?
相关产品