当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 浏览次数:发表时间:2025-06-28 00:20:12
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 比亚迪大规模降价,是出了什么问题吗?
- 2025 年 6 月,Rust 在 GUI 方面有何大的进展? 你最看好哪个框架?
- 该怎么反驳有的人说;“东德和西德,朝鲜和韩国就是上帝摆出来最大的例子”?
- 为什么现在知乎有一种j***a运行速度很慢,很吃***的论调?
- 现在已经有5K、6K、8K分辨率显示器,那么8K之后是什么?
- 毕设答辩,老师说node不可能写后台怎么办?
- 手机的运行内存真的有必要上16GB吗?
- 为什么人到中年,很少有身材苗条的?
- 你如何看待鸿蒙PC不允许侧载?
- 为何人在温度25℃,湿度95%的环境里感觉到闷热,但泡在25℃的水里又感觉到冰冷呢?
最新资讯文章
- 未来几年,市场对 AI 人才的需求会集中在哪几个方向?
- 国外的女生为什么屁股都大?
- 电视机为什么有大流量上传?
- 下载 4k ***的时候,应该选什么版本?
- 女生体毛旺盛是什么样的体验?
- Windows上有没有一分多屏和多屏合一的软件?
- 手机的运行内存真的有必要上16GB吗?
- 你见过的有些人能漂亮到什么程度?
- 鸿蒙 PC 操作系统有可能冲破 Windows 和 MacOS 的封锁,代表国产系统成为第三极吗?
- 鱼缸换水前为什么必须要困水?如果没条件困水怎么办?
- 日常生活中穿旗袍会奇怪吗?
- 如何评价Electron?
- 现在学习Django做web开发过时了吗?
- 请问有没有什么工具能够生成局域网的网络拓扑结构图?
- 公司规定所有接口都用 post 请求,这是为什么?
- 自研项目,PHP用什么框架最好?
- 想要入行音***开发,但是没有相关项目经验怎么办?
- 公司就一个后端一个前端,有必要搞微服务吗?
- 《红色警戒2》里为什么防空导弹不如防空炮?
- 微软会撤离中国吗?





