From 4130e7bef3114e9180234d78044db209178ea23c Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 3 Mar 2019 16:15:35 -0700
Subject: [PATCH] Added the README

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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