当前位置: 首页 >
如何系统地学习Lean语言?
- 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
推荐资讯
- 2025-06-29如何看待M4单核性能吊打9950x?
- 2025-06-29我上大一,需要买电脑,一共9000,但我妈说她给我3000,我心里很不舒服,怎么办?
- 2025-06-29想买个鱼缸,听说里面坑很多,哪个大神给讲解一下呀?
- 2025-06-29B站充电专属***有被爬虫破解过吗?有无解析工具?
- 2025-06-29现在学编程晚不晚?
- 2025-06-29为什么拼音26键没有ü?
- 2025-06-292025 年 9 月 3 日天安门大阅兵,中国将对外释放出什么信息素?
- 2025-06-29中年夫妻有多少是生活和谐的?
- 2025-06-29如何评价电影《F1:狂飙飞车》?
- 2025-06-29夏天了,穿连裤袜出汗很难脱,上厕所不脱也可以吧?
- 2025-06-29北京日报点名批评“苏超”过度娱乐化,它是否管的太宽了?为什么无良媒体不会被查封取缔?
- 2025-06-29有没有电视机的听歌软件,要免费的?
- 2025-06-29男子蛋糕被小女孩踩坏,上前理论还被其家长辱骂殴打,如果发生这种事情有比***里当事人更好的处理方法吗?
- 2025-06-29用PHP写了个小框架,怎么才能得到大佬们的指点?
- 2025-06-29隆基绿能创始人称「十年后光伏转换效率有望达到 35%」,这个数字说明了什么?中国光伏行业发展现状如何?
- 2025-06-29JetBrains会成为下一个Borland吗?
推荐产品
-
亚克力鱼缸这么容易模糊吗?
题主说的这种模糊,是鱼缸菌群的一种自我保护生物膜,不管换什么 -
普通用户能体会到 CPU 的性能差距吗?
这些年陆续换过4颗U,分别是E3 1230V3、R7 580 -
雷军,是真的如表现的那么真诚吗?
利益相关:前员工,在小米工作7.5年,22年38岁被裁员。 -
月薪一万在南宁能过什么样的生活?
我年入20w➕,配偶年入15➕,有两辆车,无车贷,住人才公寓
最新资讯