当前位置:当前位置: 首页 >
如何系统地学习Lean语言?
文章出处:网络 人气:发表时间:2025-06-29 05:15:14
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- Golang中有必要实现Async/Await吗?
- 现在的年轻人为什么跟父母沟通不来了?
- 为什么 CRT 画质这么好也被淘汰,液晶反而发展的很好?
- 许多公式都有π和e,可能的原因有什么?
- 为什么很多知乎的回答推崇日本式的市区、市郊通勤铁路?
- 你见过最不可思议的吵架理由是什么?
- 网恋发现对方太好看了怎么办?
- 你的低成本爱好是什么?
- 为啥雄鹿一年后就不要易建联了?
- 数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
最新资讯文章
- 魔兽世界有必要4k吗?
- 为什么兰州拉面禁止喝酒,新疆羊肉串店卖乌苏啤酒?
- 房地产行业今后还有救吗?
- 雷军,是真的如表现的那么真诚吗?
- 多益网络输了餐费官司,准备近几年搬离广州,你怎么看?
- 现在学编程晚不晚?
- 感觉鱼缸久了底下火山石里脏脏的,能彻底换水清理一遍不?
- 如何看待中国民航局对必须携带具有3c强制认证的充电宝上机的规定?
- 用PHP写了个小框架,怎么才能得到大佬们的指点?
- 各位都在用Docker跑些什么呢?
- 为什么中国开发不出流行的编程语言?
- 如何评价《一人之下》722(765)话?
- 100多米厚的煤层,是怎么形成的?远古地球真有这么多植物吗?
- 生完孩子身材依旧火辣是一种怎样的体验?
- 买到烂尾楼到底该有多绝望?