Timeline for Help improve tagging!
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 28, 2017 at 15:52 | comment | added | Martin Sleziak | @FrançoisG.Dorais About your coq example - here is some related conversation with quid. My opinion is that it's ideal to include both the more specific tag (coq) and the more general tag (proof-assistants). The more specific tag helps better searching while the more general one has more followers, so it improves the chance that the question is seen. | |
| Sep 27, 2017 at 23:56 | comment | added | François G. Dorais Mod | By the way, it's better to have separate cas tags (e.g. gap, sage, coq) so that software developers can be easily alerted when new questions arise. | |
| Sep 27, 2017 at 10:15 | comment | added | Martin Sleziak | Somewhat related: On Mathematics site there is computer-algebra-systems tag. Would perhaps such tag useful on MO, too? (There is (computer-algebra) tag - which seems to have slightly different meaning and used; at least judging by the name and the tag-info.) | |
| S Sep 27, 2017 at 10:12 | history | answered | Martin Sleziak | CC BY-SA 3.0 | |
| S Sep 27, 2017 at 10:12 | history | made wiki | Post Made Community Wiki by Martin Sleziak |