当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-26 07:30:15
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 刚学前端的小白,想问问全站框架nextjs+shadcn+prisma为什么在国内不火呢?
- AV1和HEVC的性能差异有多大?
- 周芷若一个船夫的女儿,容貌真的比得上皇家女子吗?
- 现在个人博客不能备案了吗?
- 为什么软件公司很少用python开发web?
- 如何看待 2024 黑龙江高考 716 分考生被国防科大录取?
- 数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
- 豆包推出 AI 编程,在「编辑模式」下可以直接前端改图和文字,体验如何?对行业会带来怎样的影响?
- 为什么剪映是剪辑软件鄙视链的最底层?
- 如何评价女明星梅根福克斯的身材?
最新资讯文章
- 每次去国外,别人一眼就看出我是中国人,是中国人身上有什么特质吗?
- 为什么赡养老人这么难呢?
- 家里想搞个服务器,有什么好的建议方案吗?
- 央企的信创,是否有必要把 spring 替换成国产的 solon ?
- 你最满意的10款 PC 软件是什么?
- 女子被闺蜜按水中后续如何?
- Mac OS 系统是否内存越大越好?
- 你见过最漂亮的女生长什么样?
- 为什么美军B2实战以后4v认为一部分网友又没信心了?
- 香港以后会不会变成普通话城市?
- 苹果这家公司伟大之处在哪里?
- Mac mini M4,有必要升级24G内存吗?
- 用K8s的公司有多少人会部署K8s?
- 为什么当今 Web 应用不都***用 WebSocket 形式进行数据交互?
- 在北京被催婚,你的择偶标准是什么呢?