当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 浏览次数:发表时间:2025-06-28 03:50:10
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 从身上抓下来的,这个是什么虫子?
- 如何评价首个女性友好的编程语言HerCode?
- 现在个人博客不能备案了吗?
- 冬天也要穿胸罩吗?
- 既然PostgreSQL在各方面都优于MySQL,为什么国内大部分互联网公司还坚持使用MySQL?
- 如何看待使用mac mini当7*24h的服务器?
- REDMI K80 至尊版手机搭载 7410mAh 电池,此款手机有哪些亮点?
- 你卡过最厉害的bug是什么?
- 女性为什么不普遍跟男性那样只留个几毫米或2-3厘米短发,女性不觉得长发麻烦吗?
- 24-25赛季 NBA 总决赛 G6 步行者 108-91 雷霆,如何评价本场比赛?
最新资讯文章
- 敏感时刻,美国「末日飞机」出现异常动向,出现在华盛顿附近,什么是「末日飞机」?这代表着什么?
- 张伟丽可以打败什么级别的普通男性?
- 可以用duckdb在本地建立一个数据库对外服务吗?
- 冬天也要穿胸罩吗?
- 如何看待 Rust 写的 PNG 解码器比 C 实现更快?
- ***如你财务自由,是买一个大平层还是买一个大别墅?
- flutter为什么不用Go语言,而用Dart?
- 为什么切尔诺贝利泄漏了100年不能住人,而广岛原***爆炸后很快就重建了,不都是核么?
- 为什么现在吹Rust的人这么多?
- 男朋友因为打游戏骗我去睡觉被我识破,然后我提了分手,他同意了,问问男孩子们他怎么想的?
- NAS将来会被什么产品取代?
- 全国各地现理发店倒闭潮,没有电商冲击,理发店为什么自己能干黄?
- 电视剧《长安的荔枝》25-28 集拍得如何?有哪些值得关注的剧情点?
- 自己组一个E5服务器才几百块钱,为什么去阿里云租这么贵?
- Chrome 浏览器设计的神细节有哪些?
- 你看过哪些以为是段子新闻,结果发现居然是真的?
- 为什么要在鱼缸里养水草?
- 将 Windows Server 作为个人 PC 操作系统来用是怎样的体验?
- 如何看待 Rust 的应用前景?
- 大家对四川凉山彝族的看法是怎样的呢?





