The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Hi,

After Coq first ACM prize, I complained that I do not know any such thing.

PMP makes in 10 minutes

 

Début du message réexpédié :

De: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>

Objet: Icône Coq

Date: 13 septembre 2013 17:32:06 UTC+2

À: Pierre Boutillier <pierre.boutillier AT inria.fr>

This is a beginning…

Pierre B.

PS: At that time, I realized that this icon was 10 years old and that ACM prizes may be a good opportunity to organize a « propose the next Coq icon » challenge in order to make goodies with it. It never happened so far but a spontaneous new Coq icon proposal may be take into account ;-)

Le 21 mai 2014 à 20:09, Jason Gross <jasongross9 AT gmail.com> a écrit :

Hi,

Does anyone have a high-resolution or vector version of the Coq logo, preferably in color?

Thanks,

Jason