当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 08:45:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如何看待不超过1879元的Mac mini(M4+16/256GB+票),易用性吊打同级其他台式电脑?
- 如何看待M4单核性能吊打9950x?
- OBS横竖屏怎么切换?OBS多路推流怎么搞?
- 现在谷歌好像已经把外链的价值降到很低了,seo还有存在的价值吗?
- 你和你老婆是怎么认识的?
- 有没有什么路由器让你用过之后彻底惊艳了?
- 评价一下Proxmox VE与ESXi的优劣?
- 腰椎间盘突出如何进行每日锻炼?
- 有邻居的追求者出价三万,让我连续半个月每天找个女朋友晚上弄点动静,我该答应吗?
- 什么是人生的最顶级享受?
最新资讯文章
- 电脑为什么只能识别固态硬盘而识别不了机械硬盘?
- 程序员用 Mac mini m4有必要买24G+的吗(非主力机)?
- Golang 中为什么没有注解?
- 有什么是虚拟机代替不了物理机的?
- 如何看待《新京报》评论「“谁违约谁担责”,让烂尾楼业主不再“钱房两空”」?
- 如何看待美团创始人王兴清空微博?
- 如何评价《灵笼 2》第六集?
- OpenAI 推出 o3-pro 推理模型,实际体验如何?
- 小腿能粗到什么地步?
- 为什么全网 都在说 iOS 开发不行了 ?
- 作为一个腰细腿粗的女生什么感觉?
- 为什么内娱出不了范冰冰、李嘉欣、关之琳这样惊艳绝伦的大美人了?
- 湖北襄阳一高中全班 45 人有 43 人超 600 分,这个班是怎么做到的?其成功经验是否可复制?
- 自己组一个E5服务器才几百块钱,为什么去阿里云租这么贵?
- 两个问题:女足工资为什么比男足低?如果中国女足和中国男足打一场谁会赢?






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