当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 浏览次数:发表时间:2025-06-27 22:35:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为什么人到中年,很少有身材苗条的?
- 中国男性是不是越来越受国外女性欢迎?
- 为什么个人需要公网ip?
- Rust招人为啥这么难?
- 有哪些小众的开源项目养活了一大批人?
- 你理想中的完美户型长什么样?
- 为什么 IPv6 在国内至今未得以大规模应用?
- 不住酒店可以去哪过夜?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
- 如何看待极客湾评测麒麟X90的性能与表现?
最新资讯文章
- 美国投掷 6 枚钻地炸弹袭击伊朗福尔多核设施,钻地弹有多大杀伤力?能摧毁伊朗地下核设施吗?
- 胸大的女孩会自卑 吗?
- 什么是最好的编程用显示器?
- 为什么大部分互联网公司,使用的数据库都是MySQL?
- 前端,后端,全栈哪个好找工作?
- 现代艺术只考虑意义、不考虑美感吗?
- 为什么同样是输球,常州和国足的风评却差那么多呢?
- 网传《碟中谍 8》亏损可能超 14 亿,是真的吗?这背后的原因是什么?
- Jetpack Compose 和 Flutter 应该先学哪个呢?
- systemd吞并了什么?
- 只能选一个,你选谁?
- 我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
- 为什么王楚钦之前被喷三大赛挂0,世乒赛夺冠之后依然被黑?
- 超小团队选择Django还是Flask?
- 有一个女儿是种怎样的体验?
- 人死了以后意识去哪了?
- 买到烂尾楼到底该有多绝望?
- 都说时尚是一个轮回,有哪些老电视剧里面的穿搭到现在都还是很潮的呢?
- 为什么macOS软件生态不敌Windows?
- Rust 的设计缺陷是什么?