7
$\begingroup$

There is a tag on Proof Assistants.

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

$\endgroup$
1
  • $\begingroup$ 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. $\endgroup$ Feb 13 at 20:15

2 Answers 2

3
$\begingroup$

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.

$\endgroup$
4
  • $\begingroup$ @GuyCoder ... Did you mean to comment on a different post? This one is about the tag recommendations. $\endgroup$ Feb 13 at 0:16
  • $\begingroup$ 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. $\endgroup$ Feb 13 at 0:20
  • 1
    $\begingroup$ Which sites use "software-request"? I know some that use "software-recommendations". $\endgroup$ Feb 13 at 4:58
  • $\begingroup$ 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. $\endgroup$ Feb 13 at 5:30
3
$\begingroup$

This is basically the equivalent of:

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

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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .