Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq Logo

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq Logo


Chronological Thread 
  • From: Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Coq Logo
  • Date: Wed, 21 May 2014 23:22:33 +0200

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>

image/svg


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




Archive powered by MHonArc 2.6.18.

Top of Page