LICENSE
README.md
pyproject.toml
src/EPICProver.egg-info/PKG-INFO
src/EPICProver.egg-info/SOURCES.txt
src/EPICProver.egg-info/dependency_links.txt
src/EPICProver.egg-info/top_level.txt
src/epiclogic/__init__.py
src/epiclogic/kernel/deque.py
src/epiclogic/kernel/operators.py
src/epiclogic/kernel/opertree.py
src/epiclogic/kernel/proofTree.py
src/epiclogic/other/metatree.py
src/epiclogic/strategy/ssp.py
src/epiclogic/utils/consts.py
src/epiclogic/utils/derivedFormula.py
src/epiclogic/utils/inferenceRule.py
src/epiclogic/utils/provenTheorem.py