当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-27 21:25:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 养乌龟生态缸到底可行吗?
- 为什么程序员独爱用Mac进行编程?
- 怎么看swift的并发模式选择了actor模型?
- 为什么腰肌劳损这么难治?
- 新项目可以使用flutter吗?会不会因为不成熟,导致众多问题,最后不得不放弃?
- 如何看待苹果在 WWDC25 发布的 Foundation 模型框架,它将为开发者和用户带来哪些改变?
- 为什么工厂流水线的工人们宁愿每天做重覆的工作也不愿意去学一门技术?
- 穿瑜伽裤爬山的女生会不会害羞?
- 华为云有没有实力挑战阿里云?
- 如何评价张靓颖刘宇宁《九万字》?
最新资讯文章
- Gradle 是否已经对安卓的发展构成了阻碍?
- 发现孩子走丢的那一刻,你是什么心情?
- 张伟丽可以打败什么级别的普通男性?
- 你身边身材最好的女生是什么样?
- Switch模拟器哪个好?
- 美国投掷 6 枚钻地炸弹袭击伊朗福尔多核设施,钻地弹有多大杀伤力?能摧毁伊朗地下核设施吗?
- 中国发动机是技术落后,还是材料技术没有攻克?
- 如何赚美金?
- Golang web项目求推荐?
- 如何看待 Mac mini M4 支持可更换 SSD?
- PHP初学者,我能不能使用PHP来开发桌面应用?
- 吴彦祖疯狂接代言被猜缺钱,卖完英语课又代言黄酒,他是真的缺钱还是有其他考量?
- 大家为什么会讨厌缩写?
- 公司规定所有接口都用 post 请求,这是为什么?
- 如何看待“Hutool”工具类库广受欢迎?