当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
人气:发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 现实中的父女关系是怎样的?
- 特朗普称美国完成对伊朗三处核设施的打击,具体情况如何?伊朗会如何反击?
- J***aScript的闭包会无法被垃圾回收吗?
- 为什么腰肌劳损这么难治?
- WiFi 7在我国,目前是否完全丧失6GHz下320MHz频宽的可能?
- 如果我写个脚本,一直跌的股票一旦上涨就立刻(1s内)买,接着一旦下跌就立刻(1s内)卖,会怎样?
- 有一个女儿是种怎样的体验?
- 游戏是否正在毁掉中国部分的年轻人?
- 如果有人自称中央特派员,手持中央密令,到看守所要求提走一个***,看守所会交人吗?
- 非计算机专业,好奇为什么会出现“程序依赖bug运行”的情况?
最新资讯文章
- 自己拥有一台服务器可以做哪些很酷的事情?
- 被称为「人间尤物」的女主,有多绝?
- 现在个人开发ios还有机会吗?
- 为什么现在的世界局势如此严峻?
- 十点半下班回来洗碗洗衣服,老婆在床上刷抖音陪娃睡觉,我应该怎么想合适?
- 我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
- 人常说女人味,到底是个什么味?
- 为什么 Go 语言的 Error Handling 被某些人认为是一个败笔?
- 始终怀不上孕是种怎样的体验?
- 为什么国内程序员们没有联合起来设计一种中英文严格2:1宽度比的字体呢?
- 独立站怎么阻止别人盗我的产品?
- 穿瑜伽裤爬山的女生会不会害羞?
- 如何评价钟南山院士?
- 自己尝试组装NAS,求大佬给指点一下?
- 想要入行音***开发,但是没有相关项目经验怎么办?
- 如何评价剪映svip,599一年,有替代方案吗?
- 人工智能相关专业里有什么「坑」吗?
- 女生真正的完美身材是什么样子?
- 游戏是否正在毁掉中国部分的年轻人?
- 在C中,如何实现删掉一行注释无法运行?