Example Submission


Title: Example Submission
Author: Gerwin Klein
Submission date: 2004-02-25

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