ericko-cyber 88ac7037e4 first commit		2026-10-20 13:28:38 +07:00
..
__pycache__	first commit	2026-10-20 13:28:38 +07:00
__init__.py	first commit	2026-10-20 13:28:38 +07:00
api.py	first commit	2026-10-20 13:28:38 +07:00
discourse.py	first commit	2026-10-20 13:28:38 +07:00
mace.py	first commit	2026-10-20 13:28:38 +07:00
nonmonotonic.py	first commit	2026-10-20 13:28:38 +07:00
prover9.py	first commit	2026-10-20 13:28:38 +07:00
resolution.py	first commit	2026-10-20 13:28:38 +07:00
tableau.py	first commit	2026-10-20 13:28:38 +07:00