• Proposals that are still under consideration
• Proposals that would not require changing the name of the tools (coqtop, coqc, etc.)
• Proposals mainly based on changing the pronunciation, possibly with a minor change in spelling
• Spelling out C.O.Q (see-oh-queue)
• Using the "coke" pronunciation, possibly written "Côq"
• Using the "cook" pronunciation
• Proposals to make the name sound more French
• LPC (Le Prouveur Coq)
• Le Coq Formel
• Le Coq (or LeCoq)
• Proposals that just make the name longer
• Coq Proving Interactive Tool, to be pronounced "cockpit" or "the cockpit" in English, and written "Coqpit" or "Coq PIT"
• P/Coq or pCoq (pronounced peacock) or PeaCoq
• Coquand
• co-Qed
• COCORICO / Coqorico
• Copa (Coq Proof Assistant)
• Coqatrice / Coquandrix / Coquatrix / Coqatrix
• Coqqio
• Coqulus
• Coquelet
• Coqret
• Coquette
• Rococo / Rocoqo
• Coq8
• Œuf-coque / Œuf-coq
• Coq n'œuf (Coq neuf, Coq9)
• Proposals that depart further from the current name
• Rocq
• Gallo
• Galliq
• Chook
• Coiq
• Proust
• Choqolat
• copilot
• Poussin
• Cobra
• Faisan / Pheasant
• Thierry
• UP for "Universal Prover"
• Cert
• Lockhart
• De Rigueur
• Époque
• Pyroraptor
• Cogito / Cog
• Voo (or Revoada)
• QED
• Descartes
• Canari
• Grigori
• Fier
• Aluet
• Jacana
• Aube / Dawn
• ≡quival / Equival
• Qiff
• Phenix
• VChecker
• CQFD
• Constructions
• Cov
• Chanticleer
• Lightbringer
• Corq
• Proposals that were discarded
• co-Q
• Use the French pronunciation "gok"
• Coq Theorem Prover / Coq ITP
• Pushing Gallina on the forefront
• Systematically using the dual Gallina / Coq
• Switching to Gallina as the name of the tool, not only the one of the programming / specification language
• Rooster
• Gallus
• Gallia
• Gaul
• Gaq
• Goq
• Chapon
• CIC
• coqi (i for induction)
• cloq
• Coquina
• Coquille
• Coquito
• CUI
• CHICKEN
• paon
• Coq au vin (or coq au x)
• Coq-a-doodle-do
• Boq
• C2 / CC
• Coqueluche
• Chickatrice
• Naming the Coq documents
• Coque
• CoCon
• Coqroach
• CoqLang
• Koko / Coqo (or perhaps "Coq-o"?)
• Caesar-shift it
• Coquelicot
• Groq
• PAFKAC
• Peep
• Bando
• CQ
• Quand
• Add an alias
• Puritan
• Prover McProovyFace
• Freedom Prover
• CalCo
• Advantages
• Disadvantages
• Neutral points
• μdq
• APC (Assistant de Preuve Coq)
• Thoq (or ThoQ)
• coqR
• Quokka
• ANC
• Cᵣoᵃq
• Croquette
• Croque
• Reason
• Late ideas
• Poulet
• Coprover
• Hasch
• Coqu
• Gestalt
• TAPA : The Automated Proof Assistant
• Calico
• coa
• Coach