I'm not sure which questions fall under the tag proof-techniques. In particular, are questions which essentially ask for a specific proof of a statement appropriate? The current tag description:

Questions about methods and techniques for proving theorems.

doesn't seem to exclude this case, while maybe it should.

Perhaps a description such as

Questions about general methods and techniques for proving multiple theorems. When asking about the proof of a single statement, use [some-tag-specifically-for-proofs?] instead.

Should the tag excerpt be changed? Should some tag specifically for proofs be created? (We already have the correctness-proof tag, but that deals specifically with the correctness of algorithms, while proofs of other statements or even other properties of algorithms can also be on-topic). Any further thoughts?

I'm not sure which questions fall under the tag proof-techniques. In particular, are questions which essentially ask for a specific proof of a statement appropriate? The current tag description:

Questions about methods and techniques for proving theorems.

doesn't seem to exclude this case, while maybe it should.

Perhaps a description such as

Questions about general methods and techniques for proving multiple theorems. When asking about the proof of a single statement, use [some-tag-specifically-for-proofs?] instead.

would be better.

Should the tag excerpt be changed? Should some tag specifically for proofs be created? (We already have the correctness-proof tag, but that deals specifically with the correctness of algorithms, while proofs of other statements or even other properties of algorithms can also be on-topic). Any further thoughts?