当前位置: 首页 >
如何系统地学习Lean语言?
- 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
推荐资讯
- 2025-06-20鱼缸有哪些寿命比较长的草推荐呢?
- 2025-06-20女主播和榜一大哥现实碰面会做什么?
- 2025-06-20Golang vs Rust vs Dlang 哪个更有前途,哪位大牛这 3 门语言都用过?
- 2025-06-20如何看待南京景枫中心把男厕改成女厕,并宣传「此处仅有女卫生间、家庭卫生间及无障碍卫生间」?
- 2025-06-20基因好是一种怎样的体验?
- 2025-06-20亚洲体坛最漂亮的十位女运动员都有谁?
- 2025-06-20怎样看日本于近期展出马关条约原件?
- 2025-06-20postgres集群的选择?
- 2025-06-20flutter为什么不用Go语言,而用Dart?
- 2025-06-20广东怀集遇历史最大洪水,约 30 万人受灾,积水最深处达 3 米,目前当地情况如何?
- 2025-06-20为什么韩国的热辣舞团无法征服中国的男性市场??
- 2025-06-20编程语言 MoonBit 发布 Beta 版,正式进入企业场景应用,会带来哪些影响?
- 2025-06-20自己拥有一台服务器可以做哪些很酷的事情?
- 2025-06-20孟羽童回应一手好牌打得稀烂,称「欣赏自己的野心和向上攀登的勇气」,如何看待她的表态?
- 2025-06-20脸与身材不符是种怎样的体验?
- 2025-06-20冬天也要穿胸罩吗?
推荐产品
-
如何客观评价李小冉的长相?
李小冉大概二十五年前吧,拍了个电视剧,里边她的颜值太亮眼了, -
为什么 macOS 上国产软件不流氓?
没人提到之所以不敢是因为开发者证书么? mac上无论是否上架 -
SpaceX 星舰 36 号火箭静态点火测试爆炸,爆炸的原因是什么?会对星舰发展产生什么影响?
我国新一代载人飞船「梦舟」零高度逃逸飞行试验成功,该实验有怎 -
世界上最大的航母有多大?
原创手绘006核动力航母 首先相较于之前的图做一个技术性调整
最新资讯