bfcorgfiles copyparty // 137 GiB free of 157 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| - | __init__.cpython-313.pyc | 853 | 2026-01-26 04:06:49 |
| - | api.cpython-313.pyc | 24571 | 2026-01-26 04:06:49 |
| - | discourse.cpython-313.pyc | 26896 | 2026-01-26 04:06:49 |
| - | mace.cpython-313.pyc | 14453 | 2026-01-26 04:06:49 |
| - | nonmonotonic.cpython-313.pyc | 26026 | 2026-01-26 04:06:49 |
| - | prover9.cpython-313.pyc | 17856 | 2026-01-26 04:06:49 |
| - | resolution.cpython-313.pyc | 32943 | 2026-01-26 04:06:49 |
| - | tableau.cpython-313.pyc | 33759 | 2026-01-26 04:06:49 |