当前位置: 首页 >
如何系统地学习Lean语言?_青海省果洛藏族自治州玛沁县拍黎洁雕塑股份公司
文章出处:网络 人气:发表时间:2025-06-27 22:35:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- duckdb的性能如何?
- 为什么小米造车可以叫小米,而华为不可以用华为品牌造车?
- 最讨厌和哪种人打羽毛球?
- Rust的设计缺陷是什么?
- 为什么游戏中,中国跟欧洲的时延这么大,是否是海底光缆距离过长的原因?
- 大家觉得华为鸿蒙系统5.0好用吗?
- macOS和Windows相比,软件生态差在哪里?
- 为什么美军“好像”不怕泄密?
- AI认为贴6目才是平衡的,但为什么现在中国规则贴目是7.5目?
- 狗头萝莉究竟做错了什么?
最新资讯文章
- 为什么同样是输球,常州和国足的风评却差那么多呢?
- 为什么供应链桃子只有小米雷军可以摘,其他人只能干瞪眼?
- 台湾人对南京人有特殊情结吗?
- 大家猜猜伊朗的结局如何?
- Flutter 为什么没有一款好用的UI框架?
- 为什么全国人民都知道武汉的交通很差,但是武汉人不知道?
- 外贸独立站怎么做SEO?
- 如何看待伊朗媒体称「今晚将发生世界铭记的大事」?可能是什么?
- 鱼缸能不能做到一直不换水还很清澈?
- SQLite不能支持高并发,为什么又说它能支持 10万 的日访问量?
- 江苏一医院称负债 4400 多万全员解聘,具体是怎么回事?医院这么做合法吗?
- 你们的腰突是怎么突然好的?
- 刘慈欣为什么能成为中国科幻第一人?
- 《三体》的文笔很差吗?
- 想知道德普怎么看上艾梅柏·希尔德的?
- 有没有一个特别好用的Linux系统?
- 亚洲体坛最漂亮的十位女运动员都有谁?
- 开发了一个App,上线之后一个用户也没有怎么办?
- 张伟丽可以打败什么级别的普通男性?
- 为什么微软会允许中国有那么多盗版?