当前位置: 首页 >
如何系统地学习Lean语言?_MK(体育科技有限公司)体育·官方网站
- 27寸显示器是否有必要到4K?
- 如何评价Cursor?
- 美国搞出个“稳定币”,到底是什么?其它国家是如何看待稳定币的?
- 你身边身材最好的女生是什么样?
- 如何看待海贼王1152话尾田给出的香克斯断臂的解释?
- 国产手机AI「好用」的背后,是技术差距还是文化差异?
- 为什么 CRT 画质这么好也被淘汰,液晶反而发展的很好?
- SwiftUI 是不是一个败笔?
- “真实承诺-3”,伊朗的报复能打疼以色列吗?
- 什么是bootloader?
联系我们
邮箱:
手机:
电话:
地址:
如何系统地学习Lean语言?
作者: 发布时间:2025-06-28 00:20:12点击:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
新闻资讯
-
2025-06-22C++性能高吗?对比rust有何优势?
-
2025-06-22伊朗武装部队总参谋长被暗杀,暗杀真的有用吗?
-
2025-06-22为什么面对 Adobe 的版权要求下,vposy 大神还能从容不迫?
-
2025-06-22PHP和Node.js哪个更爽?
-
2025-06-22三星的旗舰手机能用五年以上吗?
相关产品