| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| __init__.cpython-311..> | 2024-08-02 12:23 | 2.7K | ||
| cooper_storage.cpyth..> | 2024-08-02 12:23 | 6.0K | ||
| skolemize.cpython-31..> | 2024-08-02 12:23 | 6.1K | ||
| lfg.cpython-311.pyc | 2024-08-02 12:23 | 10K | ||
| util.cpython-311.pyc | 2024-08-02 12:23 | 12K | ||
| hole.cpython-311.pyc | 2024-08-02 12:23 | 17K | ||
| relextract.cpython-3..> | 2024-08-02 12:23 | 21K | ||
| drt_glue_demo.cpytho..> | 2024-08-02 12:23 | 25K | ||
| linearlogic.cpython-..> | 2024-08-02 12:23 | 26K | ||
| chat80.cpython-311.pyc | 2024-08-02 12:23 | 29K | ||
| evaluate.cpython-311..> | 2024-08-02 12:23 | 35K | ||
| glue.cpython-311.pyc | 2024-08-02 12:23 | 37K | ||
| drt.cpython-311.pyc | 2024-08-02 12:23 | 83K | ||
| boxer.cpython-311.pyc | 2024-08-02 12:23 | 89K | ||
| logic.cpython-311.pyc | 2024-08-02 12:23 | 106K | ||