当前位置：当前位置： 首页 >
如何系统地学习Lean语言？_新疆维吾尔自治区阿克苏地区阿克苏市素上平炎商超设备有限责任公司
浏览次数：304发表时间：2025-06-27 22:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
同类文章排行
- 作为独立开发者，有哪些可以分享的经验？
- PHP现在真的已经过时了吗？
- 为什么小男孩小时候要比小女孩难养好多?
- Firefox是如何一步一步衰落的？
- 儿子抑郁四年左右了，他的未来该怎么办？
- 如何看待rust编写的zed编辑器？
- 男人的快乐有多简单？
- Firefox是如何一步一步衰落的？
- H264和H265谁画质好，求回谢谢！？
- 为什么面对 Adobe 的版权要求下，vposy 大神还能从容不迫？
最新资讯文章
- 通过重体力劳动练出来的肌肉和标准健美人员肌肉有什么不同？
- 自己正在变老的明显特征是什么？
- 作为独立开发者，有哪些可以分享的经验？
- 如何评价B站up主***千代退网？
- flutter是***跨平台最优解吗？
- 本人女20，平胸跟男生一样怎么办 ?
- 美国投掷 6 枚钻地炸弹袭击伊朗福尔多核设施，钻地弹有多大杀伤力？能摧毁伊朗地下核设施吗？
- 男朋友说我穿衣服太开放，难道好身材不应该显示出来吗？
- 为什么很多男人都喜欢大胸的女生？
- 小米发布了 REDMI 首款旗舰小平板 K Pad，仅 8.8 英寸，小巧便携，如何评价这一设计？
- 为什么同样是输球，常州和国足的风评却差那么多呢？
- 为什么同样是输球，常州和国足的风评却差那么多呢？
- 女人到中年越来越看不上自己的老公怎么办？
- 淘宝上几百块钱的小程序靠谱吗？
- JetBrains 放弃 AppCode 是否是一个错误决定？
- 顺产后的你们感觉夫妻生活还和以前一样吗？
- 可以随身携带一个Linux系统吗？
- 如何评价苏州N1GS下场***?
- 你的亲戚提过什么过分的要求？
- Windows 上最应该卸载的三个软件是谁？
