当前位置: 首页 >
如何系统地学习Lean语言?
- 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
推荐资讯
- 2025-06-20那你说什么样的是美女?
- 2025-06-20如何评价《一人之下》第721(764)话?
- 2025-06-20如何评价鸿蒙电脑无法编写其自身运行的程序?
- 2025-06-20公司规定所有接口都用 post 请求,这是为什么?
- 2025-06-20SpaceX 星舰 36 号火箭静态点火测试爆炸,爆炸的原因是什么?会对星舰发展产生什么影响?
- 2025-06-20为什么web worker可以在前端开多线程,解决单线程卡死页面的问题,但是没有得到广泛使用?
- 2025-06-20卧推100kg做组的胸,都是啥样的。?
- 2025-06-20公司规定所有接口都用 post 请求,这是为什么?
- 2025-06-20穿瑜伽裤爬山的女生会不会害羞?
- 2025-06-20网传厦门某国企研发部门要求每日考察后端 400 行,前端 1000 行代码量,如属实,这个考核合理吗?
- 2025-06-20你追过最糊的明星有多糊?
- 2025-06-20龙芯在.NET上帮微软做CPU指令集适配,为什么到国内.NET开发者这里成了维护龙芯.NET版本?
- 2025-06-20Rust口碑不错,为何学的人却很少?
- 2025-06-20男医生在给年轻靓丽的女性检查时会是什么心态?
- 2025-06-20web3新手怎么入行?
- 2025-06-20如何看待伊朗导弹打击以色列医院?
推荐产品
-
三只羊是不是被人做局了?
有这样一个直播间,里面的主播们,个个不是明星却胜似明星,曾志 -
央视点名批评吹牛逼,批评L2.999……会被某法务部起诉吗?
央视已经不是第一次针对华为了 华为难道就任由别人这么欺负自己 -
分享一下你用过好用的开源项目有哪些?
1. Pipet – 多功能网页数据提取工具 Pipet是一 -
为什么韩国的热辣舞团无法征服中国的男性市场??
靠什么征服中国男人? 1992年,中韩两国建交。 很快,还未
热销产品
最新资讯