当前位置: 首页 >
如何系统地学习Lean语言?_河北省唐山市唐山市汉沽管理区庆防百打印机股份有限公司
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- golang为什么要内置map?
- 为什么很多时候对女儿最狠的却是母亲?
- 为什么很多人 get 不到林青霞的美?
- 长期使用的大佬来说说,MacOS 真的比 Windows 稳定吗?
- 为什么大多数NAT网关都是对称型NAT而不是锥形NAT?
- 现在还能做独立开发者吗?
- 有没有什么好看的打脸爽文?
- 普通人不会写代码,如何利用AI开发APP或小程序?
- 有一个***约你出去,你会去吗?
- obsidian用一两年后会有多大?全文搜索还快吗?
最新资讯文章
- 快乐教育毁了多少孩子了?
- 有哪些事,是社会底层人认识不到的?
- 为什么中国拍不出《复仇者联盟》这样的电影,比如大乘期修士对抗魔界入侵地球?
- 你身边身材最好的女生是什么样?
- 为什么有钱人的气质穷人模仿不来?
- 新手平面设计师(方向美工)怎么有目的提升设计能力?
- PHP现在真的已经过时了吗?
- 你们的腰突是怎么突然好的?
- 宁波东方理工大学学费每人每学年 9.6 万,为什么会这么贵?
- 美国率领北约敢和中国开战吗?
- 如何看待 Rust 的应用前景?
- 如何评价高圆圆的身材算是美女类型的吗?
- 你为什么在日常生活中不敢穿的太漂亮?
- 如何评价网传鸿蒙 PC 成功裸机启动 Windows ARM?
- 中国军事力量有希望达到全球第一吗?
- 为什么 macOS 并不差,可市场总敌不过 Windows?
- NextJS的全栈能力现在如何了?
- 组nas一定要TDP低的cpu吗?
- 汉语是牺牲了什么,才成为世界最紧凑、最高效的语言?
- 如何评价“寡姐”斯嘉丽·约翰逊的身材?