当前位置: 首页 >
如何系统地学习Lean语言?_湖北省荆州市松滋市屋村作业保护有限公司
文章出处:网络 人气:发表时间:2025-06-27 20:00:16
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 可不可以发一张你觉得最有感觉的照片?
- 为什么长得漂亮却没什么用?
- 去海边有什么拍照和穿搭建议?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
- 时隔 20 年新修订的治安管理处罚法自明年 1 月 1 日起施行,新修订的治安管理处罚法聚焦哪些问题?
- 想初尝苹果Mac电脑,纯体验,选 Macbook air 还是 pro?
- 你这一生 ,悟出最大的一个道理是什么 ?
- 海贼王为什么现在被全网黑?
- 吃爽了是怎样一种体验?
- 2025年,笔记软件又如何选择?
最新资讯文章
- 鱼缸能不能做到一直不换水还很清澈?
- 小区有人去世办丧事,早上5点放音乐,我报警有错吗?
- 今天看了江西四狗吃人未遂,对付大型犬有什么好办法吗?
- k8s里面kubectl get pod -d wide命令作用是什么?
- 为什么各大品牌内存条包装都那么low?
- 为什么 mac mini 的 m4 版本价格这么低呢?
- 男子蛋糕被小女孩踩坏,上前理论还被其家长辱骂殴打,如果发生这种事情有比***里当事人更好的处理方法吗?
- 儿子抑郁四年左右了,他的未来该怎么办?
- 为什么公务员晋升要卡年龄?
- 为什么 Bun 选择了 Zig 以及 JSCore?
- 为什么web worker可以在前端开多线程,解决单线程卡死页面的问题,但是没有得到广泛使用?
- 女子独居真的很危险吗?
- 大街上看到大白腿,忍不住瞄了两眼,算不算不尊重女性?
- 为什么国内程序员们没有联合起来设计一种中英文严格2:1宽度比的字体呢?
- 韩国人为什么处处与中为敌,难道他们不知道自己是芝麻小的小国吗?
- 组nas一定要TDP低的cpu吗?
- 现在个人博客不能备案了吗?
- 如何看待网上说的:凡是有阿里、华为经历的一律不要?
- 卡塔尔世界杯决赛算不算得上是有史以来最精彩的世界杯决赛?
- 暑***后高达一万的天价账单,刺痛了多少“寒门父母”?