当前位置：当前位置： 首页 >
如何系统地学习Lean语言？
文章出处：网络 浏览次数：发表时间：2025-06-29 08:45:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
同类文章排行
- 什么是 5G 固定无线接入（FWA）？
- 为什么大部分人都认为2560x1440是2K？
- 为什么今年的雷霆会惹众怒？
- 吃爽了是怎样一种体验？
- 女朋友把狗喝的水倒洗碗池里，还一副理所当然的样子，这对吗？
- 如果正常使用宽带把上行带宽拉满了运营商会管吗?
- 为什么 CRT 画质这么好也被淘汰，液晶反而发展的很好？
- 有没有宝塔平替的服务器管理面板，现在宝塔越来越贵了，也太臃肿了？
- 如何评价mq白这个人？
- 作为一个服务器，node.js 是性能最高的吗？
最新资讯文章
- 为什么供应链，只有小米雷军做得好，其他人做不好?
- 眼镜王蛇有什么好怕的？
- 为什么中国开发不出流行的编程语言？
- Windows上有没有一分多屏和多屏合一的软件？
- go 有哪些成熟点的后台管理框架？
- ICU 的可怕之处在哪？
- 一个人能做出什么开源项目？
- 养龟你踩的最大的坑是什么?
- 沙漠里遍地是“西瓜”为何无人敢吃？
- 华为中年粉丝都是什么样子的？
- 国内为什么那么多人黑 WordPress ？
- 你们是怎样看待警察这一职业的？
- 你见过身边身材最好的女生是什么样子的？
- 女生真正的完美身材是什么样子？
- 什么是 5G 固定无线接入（FWA）？
- 人工智能相关专业里有什么「坑」吗？
- 前端，后端，全栈哪个好找工作？
- 大龄剩女到底要不要妥协结婚？
- 早上吃饭需要炒菜吗？
- 男朋友说我穿衣服太开放，难道好身材不应该显示出来吗？
