remove numpy

philzook58 · philzook58 · commit f93314c42dc5 · 2025-01-13T15:19:15.000-05:00
diff --git a/kdrag/utils.py b/kdrag/utils.py
@@ -2,7 +2,6 @@
 Various term manipulation helpers. Pattern matchers, unifiers, rewriters, term orderings, etc.
 """
 
-from numpy import isin
 from kdrag.kernel import is_proof
 import kdrag.smt as smt
 import sys
