[To Parent Directory]
2/14/2019 4:47 PM 789 __init__.py
11/16/2021 7:10 AM <dir> __pycache__
2/14/2019 4:47 PM 19300 api.py
2/14/2019 4:47 PM 21989 discourse.py
2/14/2019 4:47 PM 11358 mace.py
2/14/2019 4:47 PM 18607 nonmonotonic.py
2/14/2019 4:47 PM 15501 prover9.py
2/14/2019 4:47 PM 25585 resolution.py
2/14/2019 4:47 PM 25364 tableau.py