coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq Logo

From: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq Logo
Date: Thu, 22 May 2014 00:49:19 +0200

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: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Coq Logo, Jason Gross, 05/21/2014
- Re: [Coq-Club] Coq Logo, Pierre Boutillier, 05/21/2014
  - Re: [Coq-Club] Coq Logo, Pierre-Marie Pédrot, 05/22/2014
    - Re: [Coq-Club] Coq Logo, CJ Bell, 05/22/2014