当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 21:25:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 平面设计师要被时代淘汰了吗?
- 为什么中国开发不出流行的编程语言?
- 乔丹的身体素质放到现在是不是只能算平庸?
- 怎么评价国内AI企业人肉背15块80TB硬盘,飞去马来西亚用英伟达训练数据,以规避美国禁令?
- 韦东奕(北大韦神)要是去写游戏引擎代码,能不能把虚幻引擎按在地上摩擦?数学好真能‘降维打击吗?
- 国密加密算法有多安全呢?
- iOS的墓碑机制这么厉害,为什么Windows、Linux不***用呢?
- 华为云有没有实力挑战阿里云?
- 为什么一部分 Go 布道师的博客不更新了?
- 为什么web worker可以在前端开多线程,解决单线程卡死页面的问题,但是没有得到广泛使用?
最新资讯文章
- 怎么看待B站舞蹈区和某些风格比较暴露的up?
- 如何看待“计算机民科“的网站51soez已关站维护一周?
- 中了一个亿 你会做什么?
- 如何看待刘师兄 6 月 20 日发布的《共产主义实现的前一天》?
- 为什么Mac连个正儿八经的CAD都装不了还敢打着生产力的旗号?
- 为什么牛吃素可以长那么壮?而人不吃荤就不行?
- 「人间尤物」型女主有多可爱?
- 现在既然全靠雷达了,为啥伊以炸来炸去都要在晚上?
- 请问有没有什么工具能够生成局域网的网络拓扑结构图?
- 不管黑客用了多少跳板,最终是不是可以通过网络运营商找出真实 IP?
- 想深入学习网站后台技术,有哪些建议?
- 为什么欧美影视喜欢露点?
- 太空中没有氧气,为什么太阳还在燃烧?
- 有一双超级大长腿是什么感觉?
- 我国国有企业的意义何在?
- 小鹏G7预售价23.58万,何小鹏称其为「全球首款L3级算力的AI汽车」,何为L3级算力?竞争力如何?
- 大厂后端开发需要掌握docker和k8s吗?
- 为什么web worker可以在前端开多线程,解决单线程卡死页面的问题,但是没有得到广泛使用?
- 怎么评价国内AI企业人肉背15块80TB硬盘,飞去马来西亚用英伟达训练数据,以规避美国禁令?
- 为什么很多公司都不招大龄码农?