__init__.py
__pycache__/
api.py
discourse.py
mace.py
nonmonotonic.py
prover9.py
resolution.py
tableau.py