# leanprover/lean4 — RepoVerse

Lean 4 programming language and theorem prover

URL: https://repoverse.app/zh/cards/129571436

[仓库来源](https://github.com/leanprover/lean4)

## 卡牌快照

- 版本: Genesis
- 稀有度: rare
- 材质: Base
- 攻击力: 7170
- 防御力: 6556
- GitHub stars: 9626
- GitHub forks: 1058
- 语言: Lean
- 分类: Open Source Classics
- 快照日期: 2026-10-22

这些仓库指标和游戏属性属于注明日期的卡牌快照，不代表软件当前质量的评价。

此页描述仓库对应的卡牌，不包含玩家持有人或单张副本信息。

- [规则](https://repoverse.app/zh/rules.md)
- [探索仓库](https://repoverse.app/zh/explore)