We’re rewarding the question askers & reputations are being recalculated! Read more.

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].

history | excerpt history