当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 09:30:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 你身边身材最好的女生是什么样?
- 有没有免费的语音转文字的软件?
- 日本AV对中国人的毒害有多大?
- 网传《碟中谍 8》亏损可能超 14 亿,是真的吗?这背后的原因是什么?
- 如果SSD硬盘闲置很多年,内部数据会不会丢失?
- 为什么程序员独爱用Mac进行编程?
- 为什么QQ上的网络状态没有了?
- 鸿蒙电脑会在国内逐渐取代windows电脑吗?
- 如何看待伊朗导弹打击以色列医院?
- 为什么很多离异的30-40岁的女性,很难找到老公再婚?
最新资讯文章
- 为什么 WebStorm 这么好用还会有人去用 VSCode?
- 前端因为像素还原设计稿而离职,这是个别现象吗?
- 据说go和c#的开发者都说自己比较节省内存,你们认为呢?
- 你见过身边身材最好的女生是什么样子的?
- 如何看待rust编写的zed编辑器?
- 中国大陆的苹果手机被阉割了哪些部分?
- 为什么腾讯云或者阿里云不让自建dns服务器?
- 从零写一个3D物理引擎难度多大?
- 中国的高铁数量过剩吗?
- 中国有能打到美国本土的导弹吗……有的话最远能打到哪里呢?
- 京东刘强东近期小范围分享怎么看?
- Caddy 和 Nginx 比有哪些优点和缺点?
- 2025年在上海的你,择偶标准是什么?
- 中国军队有多强,在世界能排第几?
- 以色列为什么突然敢打伊朗了?不怕被报复?






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