Example Submission

This is an example submission to the Archive of Formal Proofs. It shows submission requirements and explains the structure of a simple typical submission.

Note that you can use HTML tags and LaTeX formulae like $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2}=\frac{{\pi }^2}{6}$ in the abstract. Display formulae like $${\int }_0^1{x}^{-x}\text{d}x=\sum _{n=1}^{\mathrm{\infty }}{n}^{-n}$$ are also possible. Please read the submission guidelines before using this.