| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| __init__.py | 2024-08-02 12:23 | 2.4K | ||
| __pycache__/ | 2024-08-02 12:23 | - | ||
| boxer.py | 2024-08-02 12:23 | 54K | ||
| chat80.py | 2024-08-02 12:23 | 26K | ||
| cooper_storage.py | 2024-08-02 12:23 | 4.1K | ||
| drt.py | 2024-08-02 12:23 | 52K | ||
| drt_glue_demo.py | 2024-08-02 12:23 | 19K | ||
| evaluate.py | 2024-08-02 12:23 | 26K | ||
| glue.py | 2024-08-02 12:23 | 30K | ||
| hole.py | 2024-08-02 12:23 | 14K | ||
| lfg.py | 2024-08-02 12:23 | 7.5K | ||
| linearlogic.py | 2024-08-02 12:23 | 17K | ||
| logic.py | 2024-08-02 12:23 | 69K | ||
| relextract.py | 2024-08-02 12:23 | 15K | ||
| skolemize.py | 2024-08-02 12:23 | 5.7K | ||
| util.py | 2024-08-02 12:23 | 8.8K | ||