Source: cirosantilli/coq-software
= Coq
{disambiguate=software}
{c}
{wiki}
= Coq
{synonym}
= Rocq
{synonym}
{title2}
This used to have the best name ever allowing you to say:
> I love Coq
to English speakers and watch their faces drop.
But in 2023 the bastards renamed it to "<Rocq>", presumably pronounced "rock". Why, God, why.