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