There is a recommendations tag on Proof Assistants.
Should this be deleted, as it encourages opinion-based answers?
$\begingroup$
$\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$– François G. DoraisCommented Feb 13, 2022 at 20:15
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
4
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 software-request, by analogy with reference-request which seems to be well-established on multiple sites, and maybe restrict the scope of recommendation to idiomatic usage of a specific prover.
-
$\begingroup$ @GuyCoder ... Did you mean to comment on a different post? This one is about the tag recommendations. $\endgroup$ Commented Feb 13, 2022 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$ Commented Feb 13, 2022 at 0:20
-
1$\begingroup$ Which sites use "software-request"? I know some that use "software-recommendations". $\endgroup$ Commented Feb 13, 2022 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
-recommendationlanguage is that not every question that asks for specific software is asking for software with a specific good trait. $\endgroup$ Commented Feb 13, 2022 at 5:30
$\begingroup$
$\endgroup$
1
This is basically the equivalent of:
- Matter Modeling's software-recommendations tag which currently has about 100 out of the site's 2000 questions or
- the recommendations tag which currently has about 40 out of the site's 700 questions on Drones.SE.
I think we should also keep the tag here, just like we do on those sites and others.
-
$\begingroup$ Ok, thanks. After this answer, I agree and am going to edit the description for the tag :) $\endgroup$ Commented Feb 9, 2022 at 21:03