Rocq Prover is a programming language recognized by GitHub Linguist and used with .v, .coq.
Quick facts
What is Rocq Prover
Rocq Prover is a programming language recognized by GitHub Linguist and used with .v, .coq.
GitHub Linguist classifies Rocq Prover as a programming language, typically using extensions such as .v, .coq.
File extensions:
Related languages
Frequently asked questions
Rocq Prover is a programming language recognized by GitHub Linguist and used with .v, .coq.
Common extensions include .v, .coq.
Sources & standards
Updated 2026-08-18
Explore this reference