当前位置: 首页 >
如何系统地学习Lean语言?_内蒙古自治区巴彦淖尔市五原县饭券全汽摩附属产品有限责任公司
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 长得和刘亦菲很像是一种什么体验?
- 日本AV对中国人的毒害有多大?
- 6月23号,美团优选突然关闭了,为什么?
- 前端开发,浏览器渲染原理 与 框架源码,哪个更加重要一些?
- 为什么 mac mini 的 m4 版本价格这么低呢?
- Tauri 为什么仍未取代 Electron?
- 农村现在的光棍现象有多严重?
- 为什么 macOS 并不差,可市场总敌不过 Windows?
- 下载 4k ***的时候,应该选什么版本?
- 运动员张国伟用两个对吹风扇让纸飞机「悬停」,这是怎么实现的?从物理学角度如何解释?
最新资讯文章
- 为什么 Linux 软件安装包会有依赖关系,而 Windows 软件安装包不需要?
- 女生到底应不应该穿***的衣服?
- 我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
- 什么是微软式中文?
- 新手养鱼怎么开始,鱼能活着就行?
- 为什么“柴犬”从万人迷,变成万人嫌?
- 以前大力推广的沼气池,怎么现在越来越少了?
- 你们的腰突是怎么突然好的?
- 前端如何设计网页?
- ***x512具体在哪些方面应用?
- 有哪些素材种类多的素材网站值得分享?
- 如何评价鸿蒙电脑无法编写其自身运行的程序?
- 如何评价微信新版语音界面设计?你喜欢吗?
- 有个漂亮女朋友是种怎样的体验?
- 小米澎湃OS和华为鸿蒙OS,他们有什么不一样,谁更有发展前途?
- 为什么 macOS 并不差,可市场总敌不过 Windows?
- Go 语言的使用感受是什么?
- 做个web服务器,gin框架和go-zero怎么选?
- Rust据说是这样先进,那Rust编译器也总该是Rust写的吧?
- 如何评价鸿蒙电脑无法编写其自身运行的程序?