Skip to main content

Use this tag for questions a mathematician would feel at home answering and can be traced back to an area of mathematics.

Most likely a question using this tag can be traced back to an existing theorem or proof and the proof assistant is being used to formalize the proof or assist in understanding and completing the proof.