Delete proofs/lazyslate/SAFormula directory

This was added with the intention of null models but is currently dead code.
RAIRLab · Oct 11, 2023 · ecfb0a0 · ecfb0a0
1 parent 64ebf4d
commit ecfb0a0
Show file tree

Hide file tree

Showing 30 changed files with 0 additions and 1,645 deletions.
diff --git a/proofs/lazyslate/SAFormula/And.py b/proofs/lazyslate/SAFormula/And.py
diff --git a/proofs/lazyslate/SAFormula/Atom.py b/proofs/lazyslate/SAFormula/Atom.py
diff --git a/proofs/lazyslate/SAFormula/Belief.py b/proofs/lazyslate/SAFormula/Belief.py
diff --git a/proofs/lazyslate/SAFormula/BiConditional.py b/proofs/lazyslate/SAFormula/BiConditional.py
diff --git a/proofs/lazyslate/SAFormula/Equal.py b/proofs/lazyslate/SAFormula/Equal.py
diff --git a/proofs/lazyslate/SAFormula/Existential.py b/proofs/lazyslate/SAFormula/Existential.py
diff --git a/proofs/lazyslate/SAFormula/Formula.py b/proofs/lazyslate/SAFormula/Formula.py
diff --git a/proofs/lazyslate/SAFormula/Function.py b/proofs/lazyslate/SAFormula/Function.py