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