From e63b84a22d19adc76d2bc4f0230771b129d033ae Mon Sep 17 00:00:00 2001
From: Alex Tusa <41128169+atusa17@users.noreply.github.com>
Date: Sun, 3 Feb 2019 11:59:33 -0700
Subject: [PATCH] Create README.md

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 README.md

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