当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-28 03:50:10
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 冬天也要穿胸罩吗?
- 能否对比一下Claude Code和Gemini CLI,你的选择建议是?
- 《西西里美丽传说》女主角,在当时打扮这么高调,不觉得带给自己很多不便吗?如何理解她的心态?
- PHP现在真的已经过时了吗?
- 如何评价《一人之下》722(765)话?
- 如何看待美团创始人王兴清空微博?
- MacBook的诱惑在哪里?
- Centos为什么突然没人用了?
- 看新闻说老美的B-2连续飞了37小时,飞行员的吃喝拉撒怎么解决?
- ***如你财务自由,是买一个大平层还是买一个大别墅?
最新资讯文章
- 你用 Python 写过哪些有趣的脚本?
- 能不能发一张你相册里最好看的自拍照?
- 《甄嬛传》中祺贵人为什么和甄嬛反目?
- 每天抱老婆举高高有健身的作用吗?
- 有个身高175cm女友是什么体验?
- 修仙文明可能以怎样的方式碾压星际文明?
- 《甄嬛传》中祺贵人为什么和甄嬛反目?
- 如何一眼看出两个人私下里发生了秘密关系?
- 程序员想搭建自己的服务器求指教。?
- 宁波东方理工大学学费每人每学年 9.6 万,为什么会这么贵?
- 男的真的会把所有衣服从上到下都扔洗衣机吗?
- 如何看待美团创始人王兴清空微博?
- 为什么越来越多的 SSD 不带片外缓存了?
- ***拍大尺度片子时摄影师不会看光吗?
- 如何看待小米 YU7 3 分钟大定突破 20 万辆,锁单 12.2 万辆?小米汽车做对了什么?






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