Framework

1 files changed, 13 insertions, 0 deletions

diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex
new file mode 100644
index 0000000..8463e99
--- /dev/null
+++ b/Assignment1/assignment1.tex
@@ -0,0 +1,13 @@
+\documentclass[a4paper]{scrartcl}
+
+\title{Model Checking}
+\subtitle{Assignment 1}
+\author{Camil Staps \and Erin van der Veen}
+
+\begin{document}
+
+\maketitle
+
+\section{Past Modalities in LTL}
+
+\end{document}