4
votes
Accepted
Rename [coq] to [rocq-prover]?
This one seems pretty clear-cut. There's an official page spelling out the name change
I merged the tags and rocq-prover is now the tag, with a synonym from the old tag.
MachavityMod
- 31.7k
Only top scored, non community-wiki answers of a minimum length are eligible