| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| logic.py | 2025-11-11 11:31 | 67K | ||
| boxer.py | 2025-11-11 11:31 | 52K | ||
| drt.py | 2025-11-11 11:31 | 50K | ||
| glue.py | 2025-11-11 11:31 | 29K | ||
| chat80.py | 2025-11-11 11:31 | 25K | ||
| evaluate.py | 2025-11-11 11:31 | 25K | ||
| drt_glue_demo.py | 2025-11-11 11:31 | 18K | ||
| linearlogic.py | 2025-11-11 11:31 | 16K | ||
| relextract.py | 2025-11-11 11:31 | 15K | ||
| hole.py | 2025-11-11 11:31 | 13K | ||
| util.py | 2025-11-11 11:31 | 8.5K | ||
| lfg.py | 2025-11-11 11:31 | 7.3K | ||
| skolemize.py | 2025-11-11 11:31 | 5.6K | ||
| cooper_storage.py | 2025-11-11 11:31 | 4.0K | ||
| __init__.py | 2025-11-11 11:31 | 2.3K | ||
| __pycache__/ | 2025-11-11 11:31 | - | ||