当前位置: 首页 >
如何系统地学习Lean语言?_河南省平顶山市平顶山高新技术产业开发区奖拒造纸设备合伙企业
文章出处:网络 人气:发表时间:2025-06-27 21:25:17
我就默认你学的是Lean4了。
可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。
The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。
上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。
同类文章排行
- 为什么个人需要公网ip?
- 如何评价前端组件库shadcn/ui?
- 成为体育女主播,光「好看」就够了吗?
- 为什么市面上没有单纯替代屏幕用的头戴显示器?
- 自研项目,PHP用什么框架最好?
- 小米YU7发起24小时耐力挑战,该测试是为了体现电动汽车的哪些产品力?对电动汽车来说有哪些挑战?
- postgresql能取代mongodb吗?
- 内存条两侧明显的变窄是不是不太正常,是什么原因导致的呢?
- 大家是否有好的网盘资料分享呢?可以直接下载的那种呢?我也整理了一些?
- 腰间盘突出能不能治愈?
最新资讯文章
- 前后楼怎么共享宽带?
- 日本制造的质量真的就那么好吗?
- 垃圾佬一般都是在哪里捡垃圾的?
- 微信服务器会保留聊天记录吗,会保存多久?
- 英国登山队靠人均 124 万元的氙气疗法,无高反四天登顶珠峰,该方法究竟是什么体验?背后有哪些争议?
- 长期使用的大佬来说说,MacOS 真的比 Windows 稳定吗?
- 能发一张在暧昧期的聊天记录吗?
- 2025年现在开发php项目选择lar***el框架好还是thinkphp框架好?
- 为什么女游泳运动员看起来大部分都是平胸?
- 为什么姚明当篮协***,反而男篮的成绩变差了?
- 怎么才能有尤雨溪一半强,该怎么学习?
- 王冰冰好看吗?
- 乔丹的身体素质放到现在是不是只能算平庸?
- 黄晓明上戏考博落榜,本人回应「明年再战」,怎样看明星对高学历的追求?上戏博士有多难考?
- 程序员明明是技术积累岗位,为什么年龄越大反而可替代性变高了?
- 水质检测仪准确吗?
- 世界上存在动漫少女般完美的「身体」吗?
- 为什么 Bun 选择了 Zig 以及 JSCore?
- 有哪些是你用上了mac才知道的事?
- 为什么董明珠攻击小米空调,而公牛却没有攻击小米插座?