当前位置: 首页 >
如何系统地学习Lean语言?_湖北省荆州市松滋市屋村作业保护有限公司
文章出处:网络 人气:发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 男子被树枝刺伤无视伤口终要截肢,为什么会造成这么严重的后果?被植物划伤后的正确处理方式有哪些?
- 全平台应用框架会是趋势吗?flutter、tauri、maui你更看好哪一个?
- 出国给你最大的感受是什么?
- 中国现有的雷达技术能发现B2么?
- 如何评价印度尼西亚新首都努桑塔拉?
- 你为什么喜欢康辉?
- 程序员不租房住车里,称三年多省了差不多十万,被质疑占用公共***,怎样看他的选择?这算占用公共***吗?
- 刘强东看到了什么,才去搞外卖?
- 扫黑风暴为什么他们费老大劲杀这么多人不如直接把督导组干掉?
- 现在写 J***aScript 的是不是已经没人在用 class 这个关键字了?
最新资讯文章
- 汪峰的每任妻子都很漂亮,他有哪些男性魅力?
- 为什么现在吹Rust的人这么多?
- Caddy 和 Nginx 比有哪些优点和缺点?
- postgresql能取代mongodb吗?
- 为什么很多时候对女儿最狠的却是母亲?
- 男子被树枝刺伤无视伤口终要截肢,为什么会造成这么严重的后果?被植物划伤后的正确处理方式有哪些?
- 为什么看到大家嘲鞠婧祎身高我不太舒服?
- 34岁,女性,不想过夫妻生活,怎么跟老公沟通效果更好?
- 怎么才能有尤雨溪一半强,该怎么学习?
- 公司就一个后端一个前端,有必要搞微服务吗?
- MacOS真的比Windows流畅吗?
- 为什么MacBook pro不用高刷新率的屏幕?
- 目前中国程序员和美国程序员的差距在哪里?
- 为什么 Bun 选择了 Zig 以及 JSCore?
- 如何看待不超过1879元的Mac mini(M4+16/256GB+票),易用性吊打同级其他台式电脑?
- 你见过身边身材最好的女生是什么样子的?
- 汉堡里有荤有素,为什么还被认为是不健康的?
- 公司规定所有接口都用 post 请求,这是为什么?
- 周杰伦为什么不告粥饼伦黑伦侵犯他的名誉权?
- 你在出租房屋发现过什么前租客留下的“宝藏”?