# Example Submission

 Title: Example Submission Author: Gerwin Klein Submission date: 2004-02-25 Abstract: 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}^\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}^\infty n^{-n}$$ are also possible. Please read the submission guidelines before using this. no-index: true BibTeX: @article{Example-Submission-AFP, author = {Gerwin Klein}, title = {Example Submission}, journal = {Archive of Formal Proofs}, month = feb, year = 2004, note = {\url{https://isa-afp.org/entries/Example-Submission.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License