From bf2d9fd54b49adf85735ae8964d69ea55b04154e Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Fri, 13 Dec 2024 19:52:59 +0100
Subject: [PATCH] refreshing

---
 reasoning/nand/nand.n3 | 1 -
 1 file changed, 1 deletion(-)

diff --git a/reasoning/nand/nand.n3 b/reasoning/nand/nand.n3
index 1213b4e03..5bdb0bf18 100644
--- a/reasoning/nand/nand.n3
+++ b/reasoning/nand/nand.n3
@@ -4,7 +4,6 @@
 
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
-@prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
 # contrapositive rules