Brand Guidelines
Websites related to the Rocq language or that use it are encouraged to incorporate the Rocq logo somewhere in their page to indicate their support for Rocq development.
The ROCQ Identity Guidelines focus on maintaining consistency in the use of logos, typography, and color palettes. These standards are essential for creating a cohesive visual identity that represents the ROCQ community across all platforms and applications.
Assets
The logo should be linked to the Rocq website, rocq-prover.org. The logo is available in several formats. The Repository also contains badges and avatars for your specific uses.
License
The Rocq logo is released under the UNLICENSE.