chintiya15 c3d268a159 first commit		2026-05-22 18:28:33 +07:00
..
__pycache__	first commit	2026-05-22 18:28:33 +07:00
__init__.py	first commit	2026-05-22 18:28:33 +07:00
api.py	first commit	2026-05-22 18:28:33 +07:00
discourse.py	first commit	2026-05-22 18:28:33 +07:00
mace.py	first commit	2026-05-22 18:28:33 +07:00
nonmonotonic.py	first commit	2026-05-22 18:28:33 +07:00
prover9.py	first commit	2026-05-22 18:28:33 +07:00
resolution.py	first commit	2026-05-22 18:28:33 +07:00
tableau.py	first commit	2026-05-22 18:28:33 +07:00