lookup> Rocq Prover

Rocq Prover

常见扩展名包括 .v, .coq。

Rocq Prover 是 GitHub Linguist 收录的一种编程语言，通常使用 .v、.coq 等扩展名。

编程语言

快速事实

名称Rocq Prover

别名coq, rocq

类型编程语言

扩展名.v .coq

MIME 类型—

什么是 Rocq Prover

Rocq Prover 是 GitHub Linguist 收录的一种编程语言，通常使用 .v、.coq 等扩展名。

在 GitHub Linguist 中，Rocq Prover 被归类为编程语言，常用扩展名包括 .v、.coq。

文件扩展名：

.v.coq

Rocq Prover 是 GitHub Linguist 收录的一种编程语言，通常使用 .v、.coq 等扩展名。

常见扩展名包括 .v, .coq。

来源与规范

更新于 2026-08-18

继续探索