Oktaviarlen 65e58f718b first commit		2025-07-01 12:24:28 +07:00
..
__pycache__	first commit	2025-07-01 12:24:28 +07:00
__init__.py	first commit	2025-07-01 12:24:28 +07:00
api.py	first commit	2025-07-01 12:24:28 +07:00
discourse.py	first commit	2025-07-01 12:24:28 +07:00
mace.py	first commit	2025-07-01 12:24:28 +07:00
nonmonotonic.py	first commit	2025-07-01 12:24:28 +07:00
prover9.py	first commit	2025-07-01 12:24:28 +07:00
resolution.py	first commit	2025-07-01 12:24:28 +07:00
tableau.py	first commit	2025-07-01 12:24:28 +07:00