diff --git a/README.md b/README.md
new file mode 100644
index 0000000..dc1251a
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# Pandamonium Theorem Prover
+This is the main repository for the Technical Software Project