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 | 790 | 2024-08-18 19:47:00 |
| - | api.py | 18946 | 2024-08-18 19:47:00 |
| - | discourse.py | 22034 | 2024-08-18 19:47:00 |
| - | mace.py | 11858 | 2024-08-18 19:47:00 |
| - | nonmonotonic.py | 18613 | 2024-08-18 19:47:00 |
| - | prover9.py | 15755 | 2024-08-18 19:47:00 |
| - | resolution.py | 26000 | 2024-08-18 19:47:00 |
| - | tableau.py | 25608 | 2024-08-18 19:47:00 |