当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-27 22:35:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 刘亦菲为什么不结婚?
- 为什么现在知乎有一种j***a运行速度很慢,很吃***的论调?
- 我NAS的4盘目前分别单独使用,但数据都同步到了三个不同的商用网盘并做了冷备份,那我还需组RAID吗?
- 为什么Rust的包管理器Cargo这么好用?
- 为什么中国主机带宽比美国贵5倍(原来错误的10000倍),比如阿里云?
- 为什么苹果手机杀后台现象频繁?是内存不够、后台管理严格还是其他原因呢?
- 为什么Linux用户用sudo命令而不直接使用root用户?
- 为什么欧美影视喜欢露点?
- 下载的4k电影没有b站的4k清晰,是什么情况啊?
- 什么是 AI Agent(智能体)?
最新资讯文章
- 2025年六月现在硬盘咋还涨价了呢?
- 你从别人的旧硬盘里发现了什么有趣的东西?
- 如何看待罗永浩回忆被华为公司余承东野蛮人式挖人?
- golang总体上有什么缺陷?
- 想买一个只用来睡觉,几乎不开的车,最低成本是多少?
- 为什么电路要设计得这么复杂?
- 如何评价Cursor?
- 我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
- 腰椎间盘突出导致腿麻脚麻怎么办?
- 遭遇生理性涨奶该怎么办?
- 有哪些新生代没见过或者无法理解的 Red Hat Linux 9 时代的事情?
- 曹玉磊冒充「清华院长」频繁参加活动遭官方打***,他为何能堂而皇之以***身份开展活动?其将受到哪些处罚?
- 谁能劝我不要买NAS?
- 请看两段***再回答,你认为:中医到底是不是科学,何以见得?
- 一个非常漂亮的残疾女孩,会有人愿意娶吗?
- 孩子说一起学编程的同学都参加编程考级了,问他要不要参加,有必要参加吗?之前老师推荐过,有必要吗?
- 如何反驳“电脑普及15年,年轻人还要淘宝代装steam”?
- 现实中的父女关系是怎样的?
- VScode怎么配置好golang?
- 现今大部分哺乳动物都是六千万年前恐龙灭绝后的同一种哺乳动物的后代吗?