当前位置:当前位置: 首页 >
如何系统地学习Lean语言?_DB电竞·(DBGAME)官方网站
浏览次数:304发表时间:2025-06-29 09:30:11
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 小米 YU7 3 分钟大定突破 20 万台,产能是否能跟上?用户大概多久能拿到车?
- 为什么鸿蒙PC要排斥Linux生态?
- 现在还有人一直坚持使用 Eclipse,不使用 IntelliJ IDEA 吗?
- 为什么年轻人不要养龟?
- 国产手机APP为什么越来越臃肿?
- 能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
- 同身高体重亚洲人体格比欧美人小很多?是骨架的问题吗?
- 宠物看到一丝不挂的你, 都会想些啥?
- flutter是***跨平台最优解吗?
- 季后赛詹姆斯全力防巅峰乔丹,能不能把乔丹限制到25分以下?
最新资讯文章
- Golang和J***a到底怎么选?
- 《绝命毒师》(Breaking Bad)里有哪些硬伤?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 电饭煲的内胆是有涂层的好还是不涂层的好?纠结这买哪种?
- 搞了NAS之后去哪里下载4K,8K的电影?
- 你见过最脑残的设计是什么?
- 为什么中国人做一顿饭要几个小时,而国外花的时间少得多?
- node.js可以做***识别分析吗?
- 你们的初中生活是怎样的?
- 小米 YU7 3 分钟大定突破 20 万台,产能是否能跟上?用户大概多久能拿到车?
- 如果不能使用linux,只能选鸿蒙与windows,你会选哪个?
- 为什么人到中年,很少有身材苗条的?
- 自己组一个E5服务器才几百块钱,为什么去阿里云租这么贵?
- 看新闻说老美的B-2连续飞了37小时,飞行员的吃喝拉撒怎么解决?
- 深圳的人口最终会剩下多少?
- 肌肉男打得过练拳击的瘦子吗?
- 我是一个三年级孩子的妈妈,孩子数学不懂的时候就用手机查询,我觉得孩子没有思考,很焦虑,怎么办?
- 真的没有人觉得2k是一个很尴尬的分辨率吗?
- Postgres 和 MySQL 应该怎么选?
- 你见过最恶心的邻居是什么样子?





