bfcorgfiles copyparty // 137 GiB free of 157 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | __pycache__/ | 4096 | 2026-01-26 04:06:49 |
| - | __init__.py | 2368 | 2024-08-18 19:47:00 |
| - | boxer.py | 53740 | 2024-08-18 19:47:00 |
| - | chat80.py | 25656 | 2024-08-18 19:47:00 |
| - | cooper_storage.py | 4086 | 2024-08-18 19:47:00 |
| - | drt.py | 51683 | 2024-08-18 19:47:00 |
| - | drt_glue_demo.py | 18618 | 2024-08-18 19:47:00 |
| - | evaluate.py | 25446 | 2024-08-18 19:47:00 |
| - | glue.py | 29415 | 2024-08-18 19:47:00 |
| - | hole.py | 13821 | 2024-08-18 19:47:00 |
| - | lfg.py | 7455 | 2024-08-18 19:47:00 |
| - | linearlogic.py | 16749 | 2024-08-18 19:47:00 |
| - | logic.py | 68174 | 2024-08-18 19:47:00 |
| - | relextract.py | 15270 | 2024-08-18 19:47:00 |
| - | skolemize.py | 5722 | 2024-08-18 19:47:00 |
| - | util.py | 8747 | 2024-08-18 19:47:00 |