当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-27 21:25:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 陌生人晕倒了,帮他拨打120后,病人不支付120出车费,这个费用谁来承担?
- 为什么香港小姐一年比一年丑?
- 为什么说PostgreSQL前途无量?
- 为什么 electron 不做成独立的 runtime?
- 女生到底应不应该穿***的衣服?
- 你觉得鸿蒙NEXT生态成熟大概要用几年?
- 为什么程序员独爱用Mac进行编程?
- 如何看待小米yu7 3分钟大定破20w辆?
- 为什么各大品牌内存条包装都那么low?
- 数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
最新资讯文章
- 直接远程到服务器上写代码有什么好处?
- 鱼缸氨氮含量低,但是硝酸盐和亚硝酸盐爆表,已经一个多周了,咋办?
- 真的有这种又苗条身材又爆炸的么?
- 为什么说耿直的人更容易吃亏?
- 功夫游戏《师父》火了之后,为什么没能掀起做功夫题材的游戏的浪潮?
- 前端怎么实现预览pdf文件?
- 为什么这么久了还是没有主流软件开发鸿蒙版?
- 如何设计一条 prompt 让 LLM 陷入死循环?
- 同龄表现远远不如周琦的杨瀚森的上限如何突破王哲林甚至周琦?
- 为什么多地「国补」暂停了?
- 为什么欧美男性不那么介意带孩子的离异女性?
- 浏览器为什么要分那么多种,用一种不会很快捷吗?
- 如何看待不超过1879元的Mac mini(M4+16/256GB+票),易用性吊打同级其他台式电脑?
- Centos为什么突然没人用了?
- Postgres 和 MySQL 应该怎么选?