当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 国产手机AI「好用」的背后,是技术差距还是文化差异?
- 什么是稳定币?有人说它是「一场饮鸩止渴的游戏」,你怎么看?
- 5 月 28 日 DeepSeek R1 模型完成小版本试升级并开源,具体有哪些提升?使用体验如何?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 为什么男生都不喜欢173身高的女生啊?
- 为什么不用rust重写Nginx?
- 有没有GUI框架开发难度小,***消耗又不多,而且又跨平台?
- 沪牌到底有没有必要拍?
- 我怎么觉得核动力航母比常规航母并没有多大优势?
- 紧身牛仔裤看起来不正经,真的是这样吗?
最新资讯文章
- 如何评价高圆圆的身材算是美女类型的吗?
- 伊朗为什么不买中国战机,却坚持四十年用老旧的苏联米格29、美国F14雄猫战斗机?
- 汉语是牺牲了什么,才成为世界最紧凑、最高效的语言?
- 为什么武林中的女侠不但武功奇高,还没有练出来麒麟臂大粗腿和老茧?
- Rust、Go、Zig、Dart、C3、C++、C,仓颉、moonbit、凹语言哪个语言更有未来?
- 30岁了,你在深圳过着什么样的生活?
- 刘强东称「京东外卖很快就会出来一个跟美团完全不同的商业模式」,如何看待此回应?
- 鱼缸长这种藻是什么藻?是好是坏?
- 你们的腰突是怎么突然好的?
- 华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
- 伊朗发布「霍拉姆沙赫尔-4」导弹发射画面,被认为是伊朗破坏力最强导弹,其威力有多大?
- 空战的时候可不可以先击落预警机?
- 美国的一个航母编队真的可以完爆一个中小国家吗?
- 胸大的女孩会自卑 吗?
- 有没有一个特别好用的Linux系统?