当前位置: 首页 >
如何系统地学习Lean语言?
- 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
推荐资讯
- 2025-06-23为什么任天堂在NS2上没有选择使用OLED屏幕以提升续航能力和显示效果?
- 2025-06-23自己拥有一台服务器可以做哪些很酷的事情?
- 2025-06-23穿瑜伽裤爬山的女生会不会害羞?
- 2025-06-23Windows有哪些神级软件?
- 2025-06-23微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
- 2025-06-2327寸显示器是否有必要到4K?
- 2025-06-23为什么我养的龟忽然死了?
- 2025-06-23美国真会下场对伊朗开战吗?
- 2025-06-23***拍大尺度片子时摄影师不会看光吗?
- 2025-06-23J***a 除了 Spring 还有什么?
- 2025-06-23systemd吞并了什么?
- 2025-06-23一个练过功夫的姑娘能打过一个没练过的男人吗?
- 2025-06-23OpenWrt 能做哪些有趣的事?
- 2025-06-23如何评价原著***《教父》中的强尼方亭?
- 2025-06-23为什么中国民众的反日情绪如此激烈?
- 2025-06-23flutter为什么不用Go语言,而用Dart?
推荐产品
-
罗马仕宣布召回超 49 万台充电宝,极端场景下可能有燃烧风险,有多危险?为何有安全隐患的产品能够上市?
算是半个业内人士吧,做车用锂电池的 我比较关注的是这两个 -
国产手机AI「好用」的背后,是技术差距还是文化差异?
前段时间回国参加了一些活动,还跟一些国内做AI的朋友深入的聊 -
央视罕见公布东风-5 洲际导弹参数,最大射程 12000 公里,怎样解读?此时公布有哪些意义?
很多人可能注意到前几天的一个消息,说英国和日本相继展出南京条 -
Golang web项目求推荐?
做人要诚实,你觉得骗得了第一关简历,骗得了面试吗,就算骗得了
最新资讯