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.
no-index: true
  author  = {Gerwin Klein},
  title   = {Example Submission},
  journal = {Archive of Formal Proofs},
  month   = feb,
  year    = 2004,
  note    = {\url{http://isa-afp.org/entries/Example-Submission.html},
            Formal proof development},
  ISSN    = {2150-914x},
License: BSD License