当前位置: 首页 >
如何系统地学习Lean语言?
- 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
推荐资讯
- 2025-06-28官方通报贵州厦蓉高速三都往榕江大桥垮塌,因持续强降雨诱发山体滑坡导致,目前情况如何?
- 2025-06-28SwiftUI 是不是一个败笔?
- 2025-06-28MacOS真的比Windows流畅吗?
- 2025-06-28妈妈和儿子需要避嫌吗?
- 2025-06-28如何评价电影《F1:狂飙飞车》?
- 2025-06-282024年了,linux用户还用fuck Nvidia吗?
- 2025-06-28为什么说耿直的人更容易吃亏?
- 2025-06-28为什么中国主机带宽比美国贵5倍(原来错误的10000倍),比如阿里云?
- 2025-06-28大家有没有「大众认为是烂片但个人却喜欢看」的影片?
- 2025-06-286 月 28 日贵州榕江县防汛应急响应提升至 Ⅰ 级,全城撤离,当地情况如何?
- 2025-06-28为什么董明珠攻击小米空调,而公牛却没有攻击小米插座?
- 2025-06-28最讨厌和哪种人打羽毛球?
- 2025-06-28大鹅现在突然想通了,把远东割让给东大,会有什么后果?
- 2025-06-28什么时候你开始发现俄罗斯不过如此?
- 2025-06-28女人为什么身体那么软?
- 2025-06-2840岁财务自由想找个25左右的媳妇儿有可能吗?
推荐产品
-
如何评价女明星梅根福克斯的身材?
话说,好莱坞***女神Megan Fox(梅根福克斯)在电影 -
为什么说 Node.js 有望超越J***a?
吐槽一下js的生态。 之前用j***a,想知道一个第三方m -
蔡澜曾说「年轻人要存到 100 万以上,这是脱离牛马生活的第一步」,怎样看这一观点?
「何不食肉糜」已经不能描述他的言论了。 除开通过非法途径谋 -
钓鱼浮标怎样判定中鱼?
一、黑漂 1、“黑漂”是常见的中鱼漂相,特征是浮漂全部被拉入
最新资讯