I agree. Let's finally get rid of this tag. It and its siblings are meta tags — they don't help people decide whether they might find the question interesting.

A question with just a proof or algorithm and no question other than “is this correct?” can usually be closed as too broad. A question with a proof or algorithm and a specific question (“Is this a valid application of Smith's theorem?” “Does this loop terminate for negative values of $n$?”) are fine, and they don't need any special tagging — just tag them for the domain and techniques involved like any question.

I agree. Let's finally get rid of this tag. It and its siblings are meta tags — they don't help people decide whether they might find the question interesting.

A question with just a proof or algorithm and no question other than “is this correct?” can usually be closed as too broad. A question with a proof or algorithm and a specific question (“Is this a valid application of Smith's theorem?” “Does this loop terminate for negative values of $n$?”) are fine, and they don't need any special tagging — just tag them for the domain and techniques involved like any question.