当前位置: 首页 >
如何系统地学习Lean语言?_天津市东丽区整昌救醒装饰盒有限合伙企业
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 都说时尚是一个轮回,有哪些老电视剧里面的穿搭到现在都还是很潮的呢?
- 前端如何设计网页?
- 中国与敌国发生战争,哪些国家会帮中国?
- 美国投掷 6 枚钻地炸弹袭击伊朗福尔多核设施,钻地弹有多大杀伤力?能摧毁伊朗地下核设施吗?
- 请问有人能估计一下 go 相比 php 在不同用户量下能省多少钱吗?
- 买到烂尾楼到底该有多绝望?
- 为何雷军天天健身,却无健身痕迹?
- 想深入学习网站后台技术,有哪些建议?
- 我毕业想成为前端工程师,可是前端技术太多,越学越多,可是我想成为技术强的人,又很无助,怎么办?
- 不住酒店可以去哪过夜?
最新资讯文章
- 电脑有64G的物理内存(DDR5 5200),完全够用了,可以关闭系统的虚拟内存吗?
- 换过电池的苹果手机内部发现被加装了一个部件,有大佬知道这是干什么的吗?
- 万兆的网络速度有多大意义?
- 苹果前首席设计师 Jony Ive 离职的原因是什么?
- 高一弟弟上设计课需要买电脑,为了杜绝他打游戏给他买了一万二的苹果,但他还是在想办法下载游戏,怎么救?
- 美国投掷 6 枚钻地炸弹袭击伊朗福尔多核设施,钻地弹有多大杀伤力?能摧毁伊朗地下核设施吗?
- 中年女性需要老公吗?
- 平面设计真的很难做吗?
- 你如何看待鸿蒙PC不允许侧载?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 苏联最强的时候强大到什么程度?
- 为什么很多陕西人做饭一点都不讲究?
- 27寸显示器是否有必要到4K?
- 外网测试同样的性能下的掌机安装steam os系统的性能比安装微软系统的帧率更强,原因是什么?
- 如果江苏和以色列打,胜率大不大?
- 中国的国土防空系统能有效防止B2/B21这类飞翼隐身战略轰炸机入侵吗?
- 为什么西安市突然不禁摩了?
- 为什么幼儿园的超前教育被叫停?
- 如何让你推荐一款个人待办、笔记、管理软件,你会推荐哪一个呢?
- 西安一商场大屏播放巨大电风扇,这真的能起到「望扇止暑」效果吗?还是单纯营销创意?