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