当前位置:当前位置: 首页 >
如何系统地学习Lean语言?_重庆市长寿区允凤玻璃清洗股份有限公司
浏览次数:304发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 一个人能做出什么开源项目?
- 20届设计系,我的设计水平很差吗,找不到合适的工作?
- 为什么大多数NAT网关都是对称型NAT而不是锥形NAT?
- 如何看待“开私人飞机的富人不带头环保,我一普通人为啥要环保”的观念?
- 为什么Dreamwe***er,FrontPage会被淘汰?
- 40岁财务自由想找个25左右的媳妇儿有可能吗?
- Excel 到底有多厉害?
- DIY Nas用什么系统好?
- Electron 做游戏客户端的潜力有多大?
- 2025年,歼16与美军机50分钟缠斗,为什么知乎上没有任何消息?
最新资讯文章
- 有好用的记录工作的软件吗??求推荐一个??
- 为什么说Kafka具有高性能?其实现过程又是怎样的呢?
- 人工智能相关专业里有什么「坑」吗?
- 为什么大多数NAT网关都是对称型NAT而不是锥形NAT?
- 国外发达国家码农是真混得好么?
- 如何看待 Mac mini M4 支持可更换 SSD?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 如何评价高圆圆的身材算是美女类型的吗?
- 为什么很多时候对女儿最狠的却是母亲?
- switch2好用吗朋友们?
- 做一个中国的微软到底有多难?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 如果世界是虚拟的,当两个镜子对面放,将会无限反射,会不会将 cpu 算力耗光?
- 为什么程序员独爱用Mac进行编程?
- 一岁宝宝高烧39度,爸爸还能睡得着,离吗?
- 要想完全放弃Windows操作系统而使用 Linux需要多少勇气?
- 做个web服务器,gin框架和go-zero怎么选?
- 周鸿祎为什么说他这辈子最鄙视李彦宏?
- obsidian用一两年后会有多大?全文搜索还快吗?
- 为什么知乎上很多人觉得新加坡不适合定居?