Used for questions about existing or possible proofs of a specific theorem or conjecture
The tag proofs is used for questions about existing or possible proofs of a specific theorem or a conjecture.
Question on proofs in more specific sense should use more other tags like: [formal-methods], [proof-theory], [proof-search], [automated-theorem-proving], [proof-complexity], [interactive-proofs], [proof-assistants], [natural-proofs].
