Repository #129571436 · stable identity

lean4｜Lean 4 编程语言与定理证明器leanprover/lean4

leanprover/lean4AI 译

lean4 是 Lean 4 编程语言及定理证明器。 Lean 4 programming language and theorem prover

打开 GitHub ↗

当前 Star: 8,528
作者 / 所有者: leanprover
主要语言: Lean
GitHub 创建: 待补充
最近代码推送: 待补充
已发布: 发布天数待补充
首次发现: 2026-07-15
最近追踪: 2026-07-21

Decision brief

项目速览

它解决什么

lean4 是 Lean 4 编程语言及定理证明器。

适合谁

需要学习与教程能力的开发者或团队。

为什么上榜

2026-07-20 候选池 Star 净增 +12。

中文名称、简介和分类属于辅助理解层；GitHub 原始仓库信息始终是权威来源。

Project taxonomy

方向与适用场景

项目方向: 教育与资源
产品形态: 应用
适用场景: 学习与教程
分类来源: GitHub Models 生成 · 词表 1.0.0

30 day true history

真实历史

日期总 Star净增日榜排名

2026-07-20 8,528 +12 —

2026-07-19 — — —

2026-07-18 — — —

2026-07-17 — — —

2026-07-16 8,496 +9 —

2026-07-15 — — —

2026-07-14 — — —

2026-07-13 — — —

2026-07-12 — — —

2026-07-11 — — —

2026-07-10 — — —

2026-07-09 — — —

2026-07-08 — — —

2026-07-07 — — —

2026-07-06 — — —

2026-07-05 — — —

2026-07-04 — — —

2026-07-03 — — —

2026-07-02 — — —

2026-07-01 — — —

2026-06-30 — — —

2026-06-29 — — —

2026-06-28 — — —

2026-06-27 — — —

2026-06-26 — — —

2026-06-25 — — —

2026-06-24 — — —

2026-06-23 — — —

2026-06-22 — — —

2026-06-21 — — —

— 表示当日缺少有效连续快照，或项目当日不在可比较候选中；不补零，不插值。

Related repositories

相似项目

build-your-own-x｜从零构建技术教程 codecrafters-io/build-your-own-x 529,820 Star · Markdown awesome｜精选主题列表 sindresorhus/awesome 487,393 Star · Other freeCodeCamp｜免费编程与计算机科学学习平台 freeCodeCamp/freeCodeCamp 452,318 Star · TypeScript free-programming-books｜免费编程书籍 EbookFoundation/free-programming-books 392,647 Star · Python

收藏

对比

最近查看