The Coq mailing list

[CJ Bell <siegebell AT gmail.com>]

I went ahead and recreated a vector graphic of the logo; I also
included some black & white versions that I've used as QED symbols in
latex.

-cj
Christian Bell

On Wed, May 21, 2014 at 6:49 PM, Pierre-Marie Pédrot
<pierre-marie.pedrot AT inria.fr>
 wrote:
> On 21/05/2014 23:22, Pierre Boutillier wrote:
>> Hi,
>> After Coq first ACM prize, I complained that I do not know any such thing.
>> PMP makes in 10 minutes
>
> Did I? No idea where I put that though...
>
> PMP
>
>

Attachment: coqlogo.svg
Description: image/svg