From 420a2418c3722fddd9534a709e199ca91bf1452a Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Sun, 11 Aug 2024 14:55:29 -0700
Subject: [PATCH] updated README

---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index ae0bee2..33cccfc 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,2 @@
 # proof-checker
-testing blah blah
-wow it's working!
+Proof checker based on first order logic. The eventual goal is to be as readable and natural as possible.