Skip to main content

For questions that ask about possible improvements of a working piece of a proof. Make sure to also include the tag for the language used, and follow that tag's guidance regarding additional version-specific tags.

General guideline

(mostly summarized from on-topic and how-to-ask pages of Code Review SE)

What is a valid proof review question?

  • The proof to be reviewed should be directly in the body of the question. (Supplementary code/proof can be posted on a third-party site.)
  • The proof must have been written by you.
  • The proof must "work" (achieve the objective) at its current state, to the best of your knowledge.
  • The proof must be a real piece of code that is accepted by the compiler/proof checker without modification.

How do I write a good proof review question?

  • Include what your proof does (e.g. a function to be implemented, or a main theorem to be proven) in the title.
  • Describe the objective of your proof as detailed and, if applicable, mathematically rigorous as possible.
  • Optionally, specify which aspect of your proof you are seeking advice for (e.g. style, best practices, performance).