Commit 64c34e7e authored by Ralf Jung's avatar Ralf Jung

docs: add a small abstract with more links

parent df120ac8
Pipeline #2889 passed with stage
in 9 minutes and 21 seconds
......@@ -15,15 +15,24 @@
\input{setup}
\begin{document}
\title{\bfseries The Iris 2.0 Documentation}
\author{\url{http://plv.mpi-sws.org/iris/}}
\maketitle
\thispagestyle{empty}
%\clearpage
\begin{document}
\maketitle
\thispagestyle{empty}
\vfill
\begin{abstract}
This document describes formally the Iris program logic.
Every result in this document has been fully verified in Coq.
The latest versions of this document and the Coq formalization can be found in the git repository at \url{https://gitlab.mpi-sws.org/FP/iris-coq/}.
For further information, visit the Iris project website at \url{http://plv.mpi-sws.org/iris/}.
\end{abstract}
\clearpage
\tableofcontents
\clearpage\begingroup
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment