Caleb Stanford Blog

Coq Logo Vector Image


If you’re familiar with the Coq proof assistant, you may recognize their logo (a brown rooster shape). However, it’s difficult to find a good (high-resolution) image of their logo online — the image file on their website is a sad 66x100 pixels. Probably not good enough for use in a presentation or poster.

I made a vector version of the image (actually in September 2017) which I’m posting online now. This was made in Inkscape. The lines may differ very slightly from the original logo. I hope someone finds this useful!

Vector image (SVG):

Coq Logo SVG

500x804 image (PNG):

Coq Logo 500x804

1000x1607 image (PNG):

Coq Logo 1000x1607