当前位置： 首页 >
如何系统地学习Lean语言？_纳雍网站建设_网站建设公司_网站建设设计制作_seo优化
文章出处：网络 人气：发表时间：2025-06-26 00:15:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏： The Natural Number Game 这款是自然数游戏，作者是Kevin Buzzard（就是那个大力推广Lean4的数学家，现在正在领导形式化费马大定理的项目），让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏，让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法，不过对数学…。
同类文章排行
- ***机关工作人员如何申请Windows电脑？
- 为什么这次以色列打伊朗，网上声讨的人少了，反而都是嘲笑调侃伊朗？
- 个人做量化，买不起专业数据库，如何获取 L2数据?
- 真的有这种又苗条身材又爆炸的么？
- 为什么央视不再报道洛杉矶***了？
- JetBrains 放弃 AppCode 是否是一个错误决定？
- 马斯克宣布已激活了「星链」卫星通信系统，该系统现已在伊朗投入使用，这将对伊朗的互联网监管带来哪些影响？
- 做个web服务器，gin框架和go-zero怎么选？
- 中国设定的目标是在2030年前将航天员送上月球，并在月球上建立一个永久基地，若要成功起决定性的是什么？
- H264和H265谁画质好，求回谢谢！？
最新资讯文章
- 为什么 Windows 没有比较成熟的第三方桌面环境（explorer.exe）？
- 以色列是如何从三天前的不可一世要灭了伊朗到今天的哭哭啼啼要“为生存而战”的？
- 为什么这次以色列打伊朗，网上声讨的人少了，反而都是嘲笑调侃伊朗？
- 为什么中国主机带宽比美国贵5倍（原来错误的10000倍），比如阿里云？
- 有哪些是你用上了mac才知道的事？
- Rust有什么好用的CLI库吗？
- 有没有一款好用的，可以识别表格的OCR？
- 小米YU7从7月提前至6月底发布，是什么原因导致提前发布？
- 老饭骨做的饭真的好吃吗 ?
- Firefox是如何一步一步衰落的？
- 你卡过最厉害的bug是什么？
- 如果SSD硬盘闲置很多年，内部数据会不会丢失？
- 阿里网盘为什么没有动静了？
- 前端，后端，全栈哪个好找工作？
- 独立站怎么阻止别人盗我的产品？
- Rust有什么好用的CLI库吗？
- 中国外交部及有关使领馆正迅速组织撤离在以、伊的中国公民，目前当地情况如何？
- 为什么从事技术的人普遍都比较难沟通？
- 最近在给公司的项目做开发，能否推荐一款方便集成性价比高服务好的IMSDK？
- 你身边身材最好的女生是什么样？