当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 浏览次数:发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- Rust开发Web后端效率如何?
- 非计算机专业,好奇为什么会出现“程序依赖bug运行”的情况?
- PNG ,GIF , JPG ,的区别有哪些?
- 男的真的会把所有衣服从上到下都扔洗衣机吗?
- 如何看待 稚晖君第五轮融资 估值将达70亿?
- 为什么一部分人强烈推荐Macbook而另一部分人却说永远也不要买Macbook?到底好不好用?
- 如何看待网上说的:凡是有阿里、华为经历的一律不要?
- 数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
- 异性同办公室久了会不会日久生情?
- 为什么 electron 不做成独立的 runtime?
最新资讯文章
- 为什么windows的arm版没有被广泛使用?
- 买到烂尾楼到底该有多绝望?
- Mac mini M4,有必要升级24G内存吗?
- 现实中的父女关系是怎样的?
- 为什么程序员独爱用Mac进行编程?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 真的没有人觉得2k是一个很尴尬的分辨率吗?
- 《西西里美丽传说》女主角,在当时打扮这么高调,不觉得带给自己很多不便吗?如何理解她的心态?
- 民航局紧急通知禁止携无 3C 标识及被召回的充电宝乘境内航班,无 3C 标识充电宝有哪些安全隐患?
- 为什么不用scratch开发***?
- 为什么越是禁止孩子玩手机的家庭,最后养出的网瘾少年越多?
- 如何评价剪映svip,599一年,有替代方案吗?
- 能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
- Akid(王懿)怎么会饿死的?
- Windows上有没有一分多屏和多屏合一的软件?
- 价值两亿的u怎么出最安全?
- 为什么很多知乎的回答推崇日本式的市区、市郊通勤铁路?
- 为什么都 2025 年了显卡还不能通杀 4K?
- postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
- 实体店为什么生意越来越难做了?