As I explained in the 3rd december Coq Call, I drafted a logo for Rocq and want to make it available for the community. So here it is!
(there’s also a second draft)
I decided to use the CC-by license, so everyone can reuse it for whatever they want. The only thing I ask is: if the authors are mentioned, don’t left me aside.
I know there’s a graphic designer for the Rocq logo, who could also be inspired by this proposal by the way, but it could be used for anything else than the official logo on the official Rocq site. Or not be used at all and stay here as a funny idea.
This topic could also be used for people who want to share other visuals.