当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为什么当领导的不能把话说明白?
- 可不可以发一张你觉得最有感觉的照片?
- 现在个人博客不能备案了吗?
- 手术时把大脑拿出来还能接回去吗?
- 为什么中医一千多年没有出现理论大创新了?
- 2024年了,linux用户还用fuck Nvidia吗?
- 吴柳芳的真实水平如何?
- Golang和J***a到底怎么选?
- 「全球第一网红」MrBeast 也想来中国,中国对国外顶流博主有哪些吸引力?你会推荐他去哪些地方?
- 苹果C口和安卓C口有什么区别?
最新资讯文章
- 「人间尤物」型女主有多可爱?
- 为什么运维都这么难招?
- 哈尔滨高温大学生楼道睡觉,学生称体感温度 37、38℃,东北学校该不该装空调?未来东北高温天会更多吗?
- 为什么抖音上的姑娘都那么好看,现实中我怎么一个也见不着?
- 有哪些看似聪明,实则很傻的行为?
- 如何评价柯南最新剧场版《名***柯南:独眼的残像》?
- 大家在广州的一天是怎么样的呢?
- 坚持使用 PHP 的你,如今有什么感悟?
- 你最满意的10款 PC 软件是什么?
- MacBook Pro M1 Max 要不要换 M4 Max?
- 为什么华为价值2.3W的鸿蒙电脑用的是美国西数的SN740固态硬盘?
- 为什么有些程序员看不起 PHP 这门语言?
- 你见过最反人类的设计是什么?
- 海贼王为什么现在被全网黑?
- Mac上有那些你认为极其好用的***?