# Removing the [recommendations] tag

There is a tag on Proof Assistants.

Should this be deleted, as it encourages opinion-based answers?

• This is a meta-tag, which should be avoided, but several sites find a variation of this one to be of some use. If these site end up being migration partners, then this tag will be useful to facilitate migration. Feb 13 at 20:15

I've used this tag a handful of times for questions that are asking about software that satisfies some property such as being an automated theorem prover for a constructive logic. It seems to also be used for questions like this one about the usage of a specific proof assistant.

I think this tag should be split into , by analogy with which seems to be well-established on multiple sites, and maybe restrict the scope of to idiomatic usage of a specific prover.

• @GuyCoder ... Did you mean to comment on a different post? This one is about the tag recommendations. Feb 13 at 0:16
• Oh, I understand now. You're saying if I want to split the tags in a way that seems reasonable, just do it and trust the system to require consensus when consensus is required (such as adding tag synonyms). Okay. Feb 13 at 0:20
• Which sites use "software-request"? I know some that use "software-recommendations". Feb 13 at 4:58
• I suppose none of them except us. I somewhat support a new tag [:software-recommendation] and merging [:software-request] into it or deleting it outright. The only potential problem with the -recommendation language is that not every question that asks for specific software is asking for software with a specific good trait. Feb 13 at 5:30

This is basically the equivalent of:

I think we should also keep the tag here, just like we do on those sites and others.

• Ok, thanks. After this answer, I agree and am going to edit the description for the tag :) Feb 9 at 21:03