@MartinSleziak the idea ought to be that it is for questions about proofs specifically. But really I think it's not a meaningful tag. I am actually surprised it's around. I do recall
slick-proof, which is not much better, and I think we got rid of missing-lemma at one point.