From e51580613b5955e39806ded429227a7ad159375a Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Sun, 3 Nov 2024 23:55:30 +0100
Subject: [PATCH] using proofpackets instead of reasongraphs

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

diff --git a/README.md b/README.md
index 2d4c5b0..0d5d712 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,6 @@
 # Proofpackets
-> Proofs described in RDF supported by logic described in RDF
+
+Proofs described in RDF supported by logic described in RDF
 
 ## Reasoning with forward rules described in RDF as
 ```