| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| __init__.cpython-311..> | 2024-11-02 20:22 | 1.0K | ||
| api.cpython-311.pyc | 2024-11-02 20:22 | 27K | ||
| discourse.cpython-31..> | 2024-11-02 20:22 | 32K | ||
| mace.cpython-311.pyc | 2024-11-02 20:22 | 17K | ||
| nonmonotonic.cpython..> | 2024-11-02 20:22 | 31K | ||
| prover9.cpython-311.pyc | 2024-11-02 20:22 | 20K | ||
| resolution.cpython-3..> | 2024-11-02 20:22 | 37K | ||
| tableau.cpython-311.pyc | 2024-11-02 20:22 | 36K | ||