| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| __init__.py | 2026-09-13 15:08 | 2.3K | ||
| __pycache__/ | 2026-09-13 15:14 | - | ||
| boxer.py | 2026-09-13 15:08 | 54K | ||
| chat80.py | 2026-09-13 15:08 | 25K | ||
| cooper_storage.py | 2026-09-13 15:08 | 4.0K | ||
| drt.py | 2026-09-13 15:08 | 53K | ||
| drt_glue_demo.py | 2026-09-13 15:08 | 18K | ||
| evaluate.py | 2026-09-13 15:08 | 29K | ||
| glue.py | 2026-09-13 15:08 | 29K | ||
| hole.py | 2026-09-13 15:08 | 13K | ||
| lfg.py | 2026-09-13 15:08 | 7.3K | ||
| linearlogic.py | 2026-09-13 15:08 | 16K | ||
| logic.py | 2026-09-13 15:08 | 70K | ||
| relextract.py | 2026-09-13 15:08 | 15K | ||
| skolemize.py | 2026-09-13 15:08 | 5.6K | ||
| util.py | 2026-09-13 15:08 | 8.7K | ||