| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| tptp.runtime-TPTP-4.5.0.zip | Fri Nov 26 14:36:01 UTC 2021 | 45485586 | |
| tptp.runtime-TPTP-4.5.0.zip.md5 | Sun Nov 28 16:20:32 UTC 2021 | 32 | |
| tptp.runtime-TPTP-4.5.0.zip.sha1 | Sun Nov 28 16:20:32 UTC 2021 | 40 | |
| tptp.runtime-TPTP-4.5.0.zip.sha256 | Sun Nov 28 16:20:32 UTC 2021 | 64 | |
| tptp.runtime-TPTP-4.5.0.zip.sha512 | Sun Nov 28 16:20:32 UTC 2021 | 128 |