当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 06:05:10
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如何看待 2026QS 世界大学排名?
- 作为Mac用户有什么推荐的鼠标吗?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 055大驱到底强在哪里?
- 自己正在变老的明显特征是什么?
- 为什么欧美影视喜欢露点?
- 中国发动机是技术落后,还是材料技术没有攻克?
- 怎么理解开源项目若依(RuoYi)存在的意义?
- 大厂后端开发需要掌握docker和k8s吗?
- 如何评价电影《碟中谍8:最后清算》?
最新资讯文章
- 你的低成本爱好是什么?
- 导师给了1.4W要我给工作室买个主机,是整机还是自己配?
- 有哪些让你读完感觉乳腺通畅的爽文?
- 如何评价《三体2 · 黑暗森林》中四个面壁者?
- 如何看待 Rust 写的 PNG 解码器比 C 实现更快?
- PHP初学者,我能不能使用PHP来开发桌面应用?
- 是什么原因让你决定开始练书法?
- 想听听看现在路人对五月天的看法?
- 如何评价《塞尔达传说:王国之泪》?
- 西安一商场大屏播放巨大电风扇,这真的能起到「望扇止暑」效果吗?还是单纯营销创意?
- 养乌龟如何降低换水频率?
- 如何自己搭建家庭服务器?
- 为什么桔梗陆雪琪这些高冷美女会喜欢想往平凡男主?
- 自己正在变老的明显特征是什么?
- 作为Mac用户有什么推荐的鼠标吗?






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