The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

In case anyone is interested, here's an svg version (modified from CJ's) that includes the alternate color of the feet, as in the logo on the homepage.

On Thu, May 22, 2014 at 12:29 AM, CJ Bell <siegebell AT gmail.com> wrote:

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-with-feet.svg
Description: image/svg