| Name | Size | Permissions | Actions |
|---|---|---|---|
| ð __init__.cpython-312.pyc | 0.82K | -rw-rw-rw- | |
| ð api.cpython-312.pyc | 24.386K | -rw-rw-rw- | |
| ð discourse.cpython-312.pyc | 26.771K | -rw-rw-rw- | |
| ð mace.cpython-312.pyc | 14.434K | -rw-rw-rw- | |
| ð nonmonotonic.cpython-312.pyc | 25.577K | -rw-rw-rw- | |
| ð prover9.cpython-312.pyc | 17.507K | -rw-rw-rw- | |
| ð resolution.cpython-312.pyc | 31.894K | -rw-rw-rw- | |
| ð tableau.cpython-312.pyc | 32.367K | -rw-rw-rw- |