Rocq Logo Download
Download the Rocq logo for free in vector (SVG) or PNG file format.
By downloading the Rocq logo you agree to the Terms of Use.
Rocq Logo Colors
- #260085
- #ff540a
About Rocq
Rocq is an interactive theorem prover, formerly known as Coq, developed mainly at the French research institute Inria. It is used to write formal mathematical proofs and to verify the correctness of software.
