当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-28 00:20:12
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 能分享一下你写过的rust项目吗?
- 为什么开发一个 AI Agent 看似容易,但真正让它「好用」却如此困难?技术瓶颈主要在哪里?
- 前端 css 中的 Grid 属性有哪些?
- 为什么是9月3日阅兵而不是10月1日国庆阅兵?
- 为什么10年前电脑内存就普遍16GB了,现在还是普遍16GB?
- 为什么一部分 Go 布道师的博客不更新了?
- 如何评价林志玲?
- 为什么bilibili后端要用go来写?
- 银行为什么不让提前还款?
- 1MB其实是一个很大的存储单位,那么它的存储容量究竟有多大?
最新资讯文章
- 如何看待Ollama基于Go语言开发而不是别的编程语言?
- 27寸显示器是否有必要到4K?
- Node.js是谁发明的?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 2025年我国GDP预计再创新高,2季度增速或超5.3%,对此你怎么看?
- 为什么 CRT 画质这么好也被淘汰,液晶反而发展的很好?
- 为什么华为价值2.3W的鸿蒙电脑用的是美国西数的SN740固态硬盘?
- Golang 的 Web 框架该怎么选择?Web 开发又该怎样学?
- Rustaceans 掀起了 Rust 重写热潮,我们 J***aer 为何不搞个 J***a 重写热潮?
- 为什么Rust的热度超过Zig?
- 能否交换一张照片,分享一个让你觉得「仿佛回到了暑***」的瞬间?
- react和vue都有什么问题?
- 为什么MIPS架构的路由器CPU能实现比X86高很多的网络吞吐量?
- 你们的腰突是怎么突然好的?
- PHP和Node.js哪个更爽?






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