当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 浏览次数:发表时间:2025-06-27 22:35:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- obsidian用一两年后会有多大?全文搜索还快吗?
- 你们在公司是怎么使用k8s和docker的?
- 胎儿无左手是否该留下来?
- 如何评价女明星梅根福克斯的身材?
- 国产厂商为什么都不用三星屏幕了?
- 普通人如何应对经济大萧条?
- 为什么家里要用 NAS?家用 NAS 有哪些实际的、接地气的用途?
- PHP现在真的已经过时了吗?
- 人工智能相关专业里有什么「坑」吗?
- 一辈子戴眼镜好,还是做近视手术好?
最新资讯文章
- 华为最令你动容的地方在哪里?
- 做生意真的比上班打工强吗?
- 如何评价 Bilibili 未经用户同意私自开启大量 UPnP 端口,疑似盗用用户的带宽?
- 万兆的网络速度有多大意义?
- 为什么棒球在我国毫无水花?
- ***x512具体在哪些方面应用?
- Rust开发Web后端效率如何?
- Labubu大量补货造成二手价格腰斩,你能用经济学解释这种市场金融现象么?
- 什么才是真正的爱情?
- 为什么有些人浏览器要开30个以上标签页,也不愿意关呢?
- Docker 如何搭建 Jenkins 构建环境?
- Rust 的设计缺陷是什么?
- 为什么好多人不承认大众审美就是喜欢白皮?
- 写代码的时候总是考虑太多怎么办?
- 如果郭嘉把大家的房贷都免掉了,会刺激消费吗?
- 敢不敢留下一张自拍照让人打分?
- 空战的时候可不可以先击落预警机?
- 2025年了expo和Flutter学哪个?
- 《西虹市首富》里面想花完钱却越花越多的情况,现实里面会发生吗?
- Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?