| Name | Size | Permissions | Actions |
|---|---|---|---|
| ð __pycache__ | -- | drwxrwxrwx | |
| ð __init__.py | 2.313K | -rw-rw-rw- | |
| ð boxer.py | 52.48K | -rw-rw-rw- | |
| ð chat80.py | 25.055K | -rw-rw-rw- | |
| ð cooper_storage.py | 3.99K | -rw-rw-rw- | |
| ð drt.py | 50.472K | -rw-rw-rw- | |
| ð drt_glue_demo.py | 18.182K | -rw-rw-rw- | |
| ð evaluate.py | 24.85K | -rw-rw-rw- | |
| ð glue.py | 28.726K | -rw-rw-rw- | |
| ð hole.py | 13.497K | -rw-rw-rw- | |
| ð lfg.py | 7.28K | -rw-rw-rw- | |
| ð linearlogic.py | 16.356K | -rw-rw-rw- | |
| ð logic.py | 66.576K | -rw-rw-rw- | |
| ð relextract.py | 14.912K | -rw-rw-rw- | |
| ð skolemize.py | 5.588K | -rw-rw-rw- | |
| ð util.py | 8.542K | -rw-rw-rw- |