当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 00:15:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如何判断鱼缸中的硝化系统是否已经成功建立?
- Go 语言的使用感受是什么?
- AI如何辅助编程?
- 华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
- 为什么中国盛产“巨婴”,一到国外就通情达理?
- 苹果***首次支持国补,最高补贴不超 2000 元,适用范围有哪些?***补贴后价格有优势吗?
- Node.js是谁发明的?
- 你们都用 Flutter 开发了什么 App?
- 印巴大战,背后大国为何都不发声?
- 爱人离世之后,还能正常生活吗?需要多久?
最新资讯文章
- 和异性最疯狂有多疯狂?
- 怎么评价国内AI企业人肉背15块80TB硬盘,飞去马来西亚用英伟达训练数据,以规避美国禁令?
- Flutter 为什么没有一款好用的UI框架?
- 探矿权转***矿权需要什么流程?
- 你用过最丑的编程语言是哪个?
- 老板说我设计了一周的海报还是不行,我到底该怎么学啊?
- 钱学森曾以党性担保人体特异功能是真的,钱老是真糊涂还是***糊涂?
- Electron 做游戏客户端的潜力有多大?
- 是什么原因让你一定要用 iPhone?
- 明明无线鼠标有那么多优点,为什么还有那么多人买有线鼠标?
- 为什么我还是无法理解transformer?
- 200w现金,投什么一个月可以***2w以上?
- 独立开发者都使用了哪些技术栈?
- 迄今为止,Rust 语言存在哪些设计失误?哪些可能被改正?
- 你理想中的完美户型长什么样?






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