We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Revert --- word "coqulus" already suggested
contribute new name suggestion "Coqulus"
Updated Alternative names (markdown)
Should we split the koko / coco / coqo into several proposals?
Conflict on CoqR
`.k` is actually taken (but it might not be an issue).
Answering Tadeusz about the fear that “koko” might be associated to communism.
Propose to discard Coqu
New suggestion "Hasch"
Triage name proposals.
name suggestion: P/Coq.