# rocq-prover/rocq — RepoVerse

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

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

[仓库来源](https://github.com/rocq-prover/rocq)

## 卡牌快照

- 版本: Genesis
- 稀有度: uncommon
- 材质: Base
- 攻击力: 5112
- 防御力: 6946
- GitHub stars: 5611
- GitHub forks: 770
- 语言: OCaml
- 分类: Open Source Classics
- 快照日期: 2026-10-22

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

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

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