当前位置: 首页 >
如何系统地学习Lean语言?_内蒙古自治区巴彦淖尔市五原县饭券全汽摩附属产品有限责任公司
文章出处:网络 人气:发表时间:2025-06-27 21:25:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 有哪些你想发明却已经被人发明了的东西?
- 可以分享你经常打开的一个网站吗?
- 跟一对情侣合租的感受?
- 网传小米前总监冯德兵婚内出轨,200 多份「包养合同」,这是真的吗?具体是怎么回事?
- PHP现在真的已经过时了吗?
- 华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
- 电脑上有什么具体的程序运算是cpu完爆gpu的?
- 程序员平时都是CRUD开发工作,真的需要深入理解原理性的知识点吗?
- 我男朋友年薪远高于我,我说因为女生生理结构需要生娃,生娃这件事情女性需要比男生牺牲更多,我说的对吗?
- 为什么有的女生喜欢穿紧身牛仔裤?
最新资讯文章
- 为什么程序员独爱用Mac进行编程?
- JetBrains 放弃 AppCode 是否是一个错误决定?
- 面试官灵魂拷问:为什么 SQL 语句不要过多的 join?
- 想买一个只用来睡觉,几乎不开的车,最低成本是多少?
- 为什么Steam Deck能做好Windows游戏转译但是Apple Mac就做不好?
- 人工智能相关专业里有什么「坑」吗?
- ant-design-vue 社区为什么不维护了?
- Rust团队为什么会研究Rust而不是一款内存安全的C/C++语言编译器?
- 曹玉磊冒充「清华院长」频繁参加活动遭官方打***,他为何能堂而皇之以***身份开展活动?其将受到哪些处罚?
- 你生活中做过最自律的一件事是什么?
- 电影《碟中谍》系列中哪一部最好?
- JetBrains 放弃 AppCode 是否是一个错误决定?
- 目前最流行的 rust web 框架是什么?
- kvm是否会增加显示信号的传输延迟,或者键鼠的延迟?打游戏用这个,会影响吗?
- 男朋友因为打游戏骗我去睡觉被我识破,然后我提了分手,他同意了,问问男孩子们他怎么想的?
- 这个世界有多少用WinRAR的付费用户?
- 为什么不把公共场所的女厕所设计得比男厕所大一些?
- 为什么华为价值2.3W的鸿蒙电脑用的是美国西数的SN740固态硬盘?
- 如何评价最新发布的 vivo X Fold5,作为首款「三防」折叠屏手机,都有哪些亮点值得关注?
- MacOS真的比Windows流畅吗?