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?