当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 女生到底应不应该穿***的衣服?
- go 有哪些成熟点的后台管理框架?
- 2025年,Gitea 和 GitLab 应当如何选择?
- 把机器人做成人形的意义何在?
- 新婚那天晚上你们是怎样度过的?
- 一万亿人民币和龙珠一万战斗力,你选择哪个?
- react 跟 vue 哪个更牛逼?
- 为什么中国人做一顿饭要几个小时,而国外花的时间少得多?
- 为什么日本电影很少出现白丝?
- Golang 中为什么没有注解?
最新资讯文章
- 29 岁北漂小伙六年存了 130 万,他是怎么做到的?如何看待他的生活方式?
- 微服务和云原生架构是什么样的关系呢?
- 后端真的比前端累吗?
- 为什么老板仅凭一次聊天就判断某些人不堪大用?
- 如何评价《情感反诈模拟器》女演员刘梦茹最新的抖音***回应?
- 用紫砂壶泡茶真的比别的茶具泡出来的茶更有味道吗?
- 为什么董明珠攻击小米空调,而公牛却没有攻击小米插座?
- 如何评价“寡姐”斯嘉丽·约翰逊的身材?
- 为什么提傅首尔面相而忽略一件事情本质呢?
- 如何评价睡前消息第917期《B2骗过全世界,给伊朗留下七个洞》,你怎么看?
- 把机器人做成人形的意义何在?
- 这种身材需要健身几年?
- 淮扬菜真的难吃吗?
- 妈妈和儿子需要避嫌吗?
- 周杰伦为什么不告粥饼伦黑伦侵犯他的名誉权?