0
$\begingroup$

Since the language Coq has been renamed to Rocq, should we also rename or redirect the tag?

$\endgroup$
1
  • 1
    $\begingroup$ I don't think we need to be too eager about that before their home page changes name. Meanwhile a tag wiki mention is reasonable. $\endgroup$
    – Trebor Mod
    Commented Feb 9 at 2:31

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .