当前位置: 首页 >
如何系统地学习Lean语言?_海南省儋州市新州镇唯卫士农药有限合伙企业
文章出处:网络 人气:发表时间:2025-06-29 11:20:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 如何评价女明星梅根福克斯的身材?
- 有邻居的追求者出价三万,让我连续半个月每天找个女朋友晚上弄点动静,我该答应吗?
- 中餐炒菜那么好吃,为什么欧美人不学去?
- 服务器能否拒绝非浏览器发起的HTTP请求?
- Golang和J***a到底怎么选?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 椎间盘突出后突出物会一直压着神经吗?保守治疗是通过什么原理让椎间盘回纳的啊?
- 为什么说迷你主机不好用?
- rust 解决了什么问题?
- 做前端开发的女生,最后都干什么去了?
最新资讯文章
- ant-design-vue 社区为什么不维护了?
- 可以随身携带一个Linux系统吗?
- ***拍大尺度片子时摄影师不会看光吗?
- 始终怀不上孕是种怎样的体验?
- 有一双超级大长腿是什么感觉?
- 为什么中国很少有人使用linux?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
- 如何评价小岛秀夫的游戏新作《死亡搁浅2:冥滩之上》?
- 如何评价张靓颖刘宇宁《九万字》?
- rust有什么适合萌新练手的项目吗?
- 为什么伊朗的防空系统失效了?
- 如何评价绿联DH4300 Plus,是否值得购买?
- 如何评价***伊内斯·特洛奇亚的身材?
- 有哪些新生代没见过或者无法理解的 Red Hat Linux 9 时代的事情?
- 现在个人博客不能备案了吗?
- 30岁,995,目前还是unity客户端最低端 ui拼图仔还有必要坚持吗?
- 被称为「人间尤物」的女主,有多绝?
- 为什么那么多人用GO?GO语言的优势在哪里?
- 2025年现在开发php项目选择lar***el框架好还是thinkphp框架好?