diff --git a/README.md b/README.md
index 8ffdb52..dc1251a 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,2 @@
-# tsp-main
+# Pandamonium Theorem Prover
+This is the main repository for the Technical Software Project