Updated README

Coda-Coda · Feb 24, 2018 · b27f49c · b27f49c
1 parent bd10d1b
commit b27f49c
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,2 +1,6 @@
-# MartinLoefTheorem-Dissertation
-Formalising Martin Loef's Theorem Using Coq - Honours Dissertation
+# Formalising Martin-Löf's Theorem Using Coq
+By Daniel Britten - supervised by Cristian S. Calude - and with guidance from Monica Marcus.
+
+Source code for an honours dissertation at the University of Auckland.
+
+In order to interactively step through the proofs in this dissertation, CoqIde can be downloaded from https://coq.inria.fr/download.