当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 09:30:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 程序员想搭建自己的服务器求指教。?
- 现在ai编程达到了什么样的水平,是否能独立用来编写游戏?
- 为什么腾讯云或者阿里云不让自建dns服务器?
- 有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
- 为什么 php 可以做到 7 毫秒以内响应,而 .net 做不到?
- 为什么要使用 Go 语言?Go 语言的优势在哪里?
- 我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
- 小朋友到底应不应该购买SWitch?
- 真的有这种又苗条身材又爆炸的么?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
最新资讯文章
- 现在手里有一万闲钱,买什么币好?
- PHP现在真的已经过时了吗?
- 现在网络上各种前端已死,后端太卷的言论,这是真的吗?还是有人蓄意炒作?
- 鱼缸过滤全天开着太耗电,关掉半天又容易水浑,有什么好办法?
- 为什么台式 PC 还处在组装(DIY)阶段?
- 写业务的话,go是不是垃圾?
- 为什么国外网站总喜欢弹出cookie访问权限弹窗,国内网站却没有,这么做有什么意义?
- 《哈利波特》是h***y ending吗?
- 我毕业想成为前端工程师,可是前端技术太多,越学越多,可是我想成为技术强的人,又很无助,怎么办?
- 马上领证了,发现男朋友离不了游戏,让他少打游戏他会非常生气,正常吗?
- 据报道称“浏览器内核有上千万行代码”,浏览器内核真的很复杂吗?
- 后端真的比前端累吗?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
- 27寸显示器有必要上4K吗?
- 不用CDN就没事,用阿里云CDN就被攻击刷流量,阿里云表示证明不了就要用户买单,如何看到这种行为?





关注公众微信号
移动端,扫扫更精彩