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: Stefan Monnier <monnier AT iro.umontreal.ca>
To: Théo Zimmermann <theo AT irif.fr>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Tue, 06 Apr 2021 09:30:39 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=monnier AT iro.umontreal.ca; spf=Pass smtp.mailfrom=monnier AT iro.umontreal.ca; spf=None smtp.helo=postmaster AT mailscanner.iro.umontreal.ca
Ironport-hdrordr: A9a23:CP0D86idodtetlfdv9SDmhnQ9HBQXmMji2hD6mlwRA09T+WzkceykPMHkTL1ki8WQnE8mdaGUZPwJE/035hz/IUXIPOeRwHgomSlN8VP6oHlzj3mFUTFh4pg/I1ndLVzD8C1MEhiga/BkWuFOvsp3dXvysqVrMjEyXMFd2xXQoFmqzx0EwOKVnBxLTM2YqYRMLq5yo55qyG7eXIRB/7LZUUte+DCopnlkpfiZwAbHlob7mC17A+AzLLhCRCX0lM/flp0r4sKymTOnwzn6qjLiZjSoSP07GPd449bn9Hs0LJ4ZPCksNQfKTnnl2+TC7hJZrvqhlwInN0=
Ironport-phdr: A9a23:e4scehMXmTgZXqI6KuQl6nZNChdPi93PFj5Q0YIujvd0So/mwa6KFHLW6fgltlLVR4KTs6sC17OH9fm/Aidcut6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vKBi6txjdu8sYjIdtJas8xAbCr2dVdehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhSEaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4GyYJYVD+cZPehWsZTzqVgArRWwBwajCuzgxSNTi3/qwaE3yfgtHR3c0QA8Gd8FrXTarM/yNKcXSe270bXIwivNb/xM3zf29Y/GchcnofGKXLJ/b9DRwlQoGgPAiVWQr4rlPzKL2eQXqGWb7vBgVeW1h246rgFxpT6vxts2iobXnI0VzkrI+jljz4ssI9CzVUF0b8K+HpRKqyGaK5V5QtkkQ2xwtys3y70ItYO0ciUJxpoqxBDSZuCIfYaH7RzuV/udLSp5iX55d7yymRe//Eaix+DiVcS51EpHoyRFn9fMtn0A1Rre4dWERPtl5kqtxDiC2x7J5u1aPUw5mrDXJ4Ahz7IqlpcfrVzPEjLqlEj5lqOaaFso9vay5+j6fLnrp4WQOox7hwz4L68ggNawAf4iPQgLR2Wb+fqz1Lnk/UDhRbVFlPw2kq3CsJ/GP8sboKi5DBFP0oo56ha/FTCm3M4FnXkCK1JFfg6Hj5L3NF7UJPD0F+uwjE60nDdqwfDJIKHhD43QInXNjrvtZ6hx51JTxQYp09xS54hYB7EdLP7rX0/+rt3YDhs3MwyuxObnDc1w1oYZWWKJBK+ZMb3dsUWT6+IuOemMY5UZuCv4K/gi4f7ukWU5lkEHcqmtx5cYdGq3Eux8I0qFeXrsnssBEWASswUiS+zqkUSOXiJXZ3avRK0x/So7CYKjDYfbXI+hmr2B3CGhHp1XfG9KEF6MEW27P7mDDssM6SXaEM5klzEeULGnTcd1yRGjsyf70btpaOTOrH42r5XmgeNp6uPak1kX8jpyDsmHmzWISGdyn24Sbz4s2+ZipEt71k2O2Kw+iPUORo8b3O9ATgpvbc2U9Od9Ed2nH1uZJr+heBOdWtyjRAoJYJcp2dZmS0dnHJO/ixfFwzCnCrtTnLXZXPQcwufnx3H0Yv1F5TPG2a0m53EjS8pLLmavgKhy7U7SHYmPjkCekbqweK0YmiXEpj/r5VrLh1lRVUtLaYuAWHkeYkXMqtGRzkLYSPmzDLMhLhFMwMrEIaIYM7XU

> As several people said, changing the name now sounds too difficult.

Maybe since the name Coq arguably comes from CoC (among others,
admittedly) yet the tool is actually based on the CIC extension of CoC,
maybe it could just be renamed to Ciq?

Stefan

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?, Stefan Monnier, 04/05/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021