| Name | Size | Permissions | Actions |
|---|---|---|---|
| ð __pycache__ | -- | drwxrwxrwx | |
| ð __init__.py | 0.771K | -rw-rw-rw- | |
| ð api.py | 18.502K | -rw-rw-rw- | |
| ð discourse.py | 21.518K | -rw-rw-rw- | |
| ð mace.py | 11.58K | -rw-rw-rw- | |
| ð nonmonotonic.py | 18.177K | -rw-rw-rw- | |
| ð prover9.py | 15.386K | -rw-rw-rw- | |
| ð resolution.py | 25.391K | -rw-rw-rw- | |
| ð tableau.py | 25.008K | -rw-rw-rw- |