There are a number of questions on this site of the form, "How do I prove X in Y deduction system?" (especially Fitch). While this is a topic which arises (for good reason) in many philosophy classes and these questions generally seem accepted on this site, to me they're definitely more questions about mathematics rather than philosophy. The following questions are good examples of what I'm talking about: 1, 2, 3.
At present such questions seem to be considered appropriate for this site. My question is:
Do we actually want these questions, or would it be better to migrate them to math.stackexchange?
A couple notes:
Migration to math.stackexchange is not actually an option currently in the vote-to-close menu, so this would take some implementation.
A lot of questions of the above form would be closed on MSE (and I think should also be closed here) due to lack of context/effort shown. We definitely shouldn't flood MSE with questions which will just be quickly closed there. But that's a separate issue - I'm asking whether the general topic would be more appropriate there than here, so for the current purpose let's assume that the relevant questions are well-written and have all necessary context.
Finally, I'm talking only about questions of a very specific form here - again, of the form "How do I prove X in Y deduction system?," with no additional philosophical content (such as "... and does that accurately model the standard natural-language proof?"). So e.g. the following questions (regardless of whether they're appropriate for this site) are not examples of what I'm talking about: 1, 2, 3, 4.