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