coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Why is the Coq logo made to look like a penis?

From: Freek Wiedijk <freek AT cs.ru.nl>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Tue, 6 Apr 2021 15:08:37 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=freek AT cs.ru.nl; spf=Pass smtp.mailfrom=freek AT cs.ru.nl; spf=Pass smtp.helo=postmaster AT smtp2.science.ru.nl
Ironport-hdrordr: A9a23:TuJj86ryKDiR7LkWCCwMZ4YaV5rNeYIsi2QD101hICF9WMqeisyogbA31QXsjiwQRXEnnrm7Scy9aFnb8oN45pRUAKe6UGDdyQmVBaxr8IeK+VDdMgLk8Oo178tdWoh4TOb9FF1ryfv9iTPId+oI5Pmi3OSWifzFz3FrJDsaCJ1IywtiEA6UHglXaWB9ZKYRL5aX6spZqzfIQx1+Ba6GL0IIUOTZq9rAmIiOW347LiQ64wqDhy7A0tDHOiWfty1wbxpy27s4tUDKnwvlj5/T1M2G9g==
Ironport-phdr: A9a23:lYstdBfOT7rbqBL3NtJ0KbeclGM+R97LVj590bIXzolWe6HmxazJeXLljd1ThVPEFb/W9+hDw7KP9fy5CCpZvs3K7CtKWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAHcutMLjYZgJKs9xRTEr3VVcOlK2G1kIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q79FAjk4Km45/MLkuwXNQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6qpgVRHlhDsbOzM/7WrajNF7gqBGrxK7vxFxzY7abp+IOvR9cKPScs8VSndDUclfTCFBHp+wYpETA+YdJ+tUsY/wrEYOoxukAgmsAfvixD9ShnDow6I60PkqHgHH3AM+At0OsXbUrNboP6oVX+C11rfHwivAb/5NxTj985LEcgo8of2WW7JwddPcxE8yHAzKklues5bqPy+J1usTqWib6fJtWPyxh2Mkqgx/ojiiy9sxhoTVm48bxVTJ+DhkzIspK9C2R1B3b9CqHZZfuCyWK5d6T94iTWxopSo31r8LtJ+7cSUM1Z8pxAbfZuSaf4WG/x7vTvudLDV3iX5/Zb6yhgy+/VWvx+D8TsW500hGojBBn9TDrHwA2Rze5tKZRvdj/Uqs3yuE2RrJ5eFeO080kLLWK54/zb40kZoeqV/DHirqmEXukqOabF4k9fSp6+v5ZLXpuoGTO5VuigHjKKgunMi/Dfw5MggIQWeb5fyx2KDt8EHkWrlGk/87n6bDvJzHJMkXvLO1DgBV34o77hawFTam0NAWnXkdK1JFfQqKj4bzO17QPv/4DuyyjEi3kDtx3fDGI6ftApPJLnTbirfuYa5961JAyAo01d1Q+5VUCqgYLP3vXk/xqcfXAwQiMw20xubnEM9y2pkfWWKJGK+ZMbndvUWG5uI1cKGwY9oevy+4IPw47dbvi2U4kBkTZ/qHx5wSPV6iE/lla3qYbHbtgNRJRWkQswc9ZOfxzkefFzhXMSXhF5kg7y02Xdr1RbzIQZqg1eTp9Bf+JYVfYyV9Mn7JFH7pc4ueXPJkQCmJZNV81DoAB+HJY79k7gmnsUrB85QiNvDdkgUTrtT5yZ5z47+L/TkCsAdsBsHY6FmjCmF5mmRgbyQzwLgl51d2y1qF2qU+meEeE9gBvpt0

Hi Beta,

(Off list, to not spam people even more:)

>When asked we can say "Calculus Of Quantifications" (joking!).

I think it should be pronounced co-Q (it's about the dual
of the Q calculus, which still has to be invented :-))

Freek

Re: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Derek Dreyer, 04/06/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Dominique Unruh, 04/06/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jay Kruer, 04/06/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Paolo Torrini, 04/06/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Guillaume Claret, 04/06/2021
      - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Benjamin Pierce, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Beta Ziliani, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Freek Wiedijk, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Filipe Vieira, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/07/2021
      - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Benoît Viguier, 04/06/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Zoe Paraskevopoulou, 04/06/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Théo Zimmermann, 04/06/2021
      - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Ian Shillito, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Stephanie Weirich, 04/06/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Thorsten Altenkirch, 04/06/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/06/2021
      - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Hadas Zeilberger, 04/06/2021