当前位置: 首页 >
如何系统地学习Lean语言?
- 人气:
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
推荐资讯
- 2025-06-23这种裙子是不是对直男爆杀?
- 2025-06-23如何看待“开私人飞机的富人不带头环保,我一普通人为啥要环保”的观念?
- 2025-06-23VSCode 都有哪些牛逼的插件?
- 2025-06-23node 项目中如何使用 Node Schedule 创建定时任务?
- 2025-06-23为何有人说三亚景色不输泰国,中国游客却更爱去泰国?
- 2025-06-23华为 HDC 发布 HarmonyOS 6 开发者 beta 版对应用开发者和鸿蒙生态有哪些影响?
- 2025-06-23你怎么看待剪映收费过高问题?
- 2025-06-23江西通报救护车 800 公里收费 2.8 万「不合理,暂停医院转运服务」,该医院要承担怎样的法律责任?
- 2025-06-23为什么好看的家一看就是国外的?
- 2025-06-23如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
- 2025-06-23为什么有人会认为中餐天下无敌?
- 2025-06-23罗马仕宣布召回超 49 万台充电宝,极端场景下可能有燃烧风险,有多危险?为何有安全隐患的产品能够上市?
- 2025-06-23坚持使用 PHP 的你,如今有什么感悟?
- 2025-06-23个人博客网站,要坚持多久才会有读者?
- 2025-06-23微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
- 2025-06-23微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
推荐产品
-
为什么tokio能成为rust异步标准?
wmproxy wmproxy已用Rust实现***/*** -
为什么说纯铜是紫色的,可是我看上去更像纸箱子的颜色啊,是否我自己有色盲呢?
在怀疑自己的视觉之前,不妨先找点数据算一算。 在国外友人开 -
光纤无人机如何反制?
看到有人把雷达放出来了,简直搞笑,想要侦察到RCS和鸟差不多 -
女孩子腿非常白是什么体验?
高中有个团体舞蹈比赛选中我们班,表演那天女主要穿裙子(到膝盖
最新资讯
文章排行
- 女友明确说不喜欢我玩游戏机,结婚后也不允许我买游戏机,并且跟我吵架了,该如何是好?
- golang和rust你选择哪个?
- 为什么外企愿意向中国转让高铁技术?
- 你身边身材最好的女生是什么样?
- 055万吨驱逐舰是不是有些被过于神化了,有没有了解的大佬详细解释一下?
- 广东省肇庆市怀集县洪水后,赵一鸣零食店被哄抢,物资和收银机里面的几千块钱被哄抢一空,如何评价?
- 黑龙江地区人口下降为何比俄罗斯远东远东联邦还快?
- 颈椎问题导致的颈部酸痛、睡眠质量下降、落枕等困扰,怎么得到改善?
- ***设把地球上所有的铀235集中起来做成一个大核弹,放到马里亚纳海沟里引爆,地球会不会被炸成两半?
- 独立开发***能盈利吗?感觉好累...