当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 各位都在用Docker跑些什么呢?
- 为什么国内程序员们没有联合起来设计一种中英文严格2:1宽度比的字体呢?
- 为什么长得漂亮却没什么用?
- 如果战争爆发,中国普通老百姓枪都不会打该怎样自卫?
- 为什么bilibili后端要用go来写?
- 为什么很多公司都不招大龄码农?
- golang和rust你选择哪个?
- 如何一眼看出两个人私下里发生了秘密关系?
- 如何评价华为最新长焦专利技术?能否颠覆手机长焦摄影的目前限制?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
最新资讯文章
- 你都见过什么样的电脑盲?
- Android为什么不直接执行Linux的程序?而是自己搞一套?
- 有哪些小众的开源项目养活了一大批人?
- 黄晓明上戏考博落榜,本人回应「明年再战」,怎样看明星对高学历的追求?上戏博士有多难考?
- 请问照片里这个人是谁呀?
- 谁能劝我不要买NAS?
- 明星的精修图和生图差别真的很大吗?
- 我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
- 5070ti什么时候才能回归正常价格?
- 和校花谈恋爱是什么体验?
- 27寸显示器是否有必要到4K?
- 有哪些可以很好提高职场工作效率的办公神器值得推荐?
- 为什么中国农村房子那么丑?
- 如何评价前端框架 Solid?
- flutter是***跨平台最优解吗?