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.
License
+Topics
+ +Session Example-Submission
+
+
+
+
+