![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| TPTP-v2.0.0.tgz | 2024-10-04 18:34 | 911K | |
| BNFandSZSPreRelease.tgz | 2024-10-04 18:34 | 8.6K | |
| TPTP-v3.2.0.tgz | 2024-10-04 18:34 | 6.4M | |
| TPTP-v7.0.0.tgz | 2024-10-04 18:34 | 552M | |
| TPTP-v5.0.0.tgz | 2024-10-04 18:34 | 170M | |
| TPTP-v5.4.0.tgz | 2024-10-04 18:34 | 199M | |
| TPTP-v1.1.2.tgz | 2024-10-04 18:34 | 919K | |
| TPTP-v8.2.0.tgz | 2024-10-04 18:34 | 870M | |
| TPTP-v2.2.1.tgz | 2024-10-04 18:34 | 1.7M | |
| TPTP-v2.5.0.tgz | 2024-10-04 18:34 | 176K | |
| TPTP-v7.5.0.tgz | 2024-10-04 18:35 | 589M | |
| TPTP-v1.2.1.tgz | 2024-10-04 18:35 | 1.1M | |
| TPTP-v2.1.0.tgz | 2024-10-04 18:35 | 1.6M | |
| TPTP-v5.5.0.tgz | 2024-10-04 18:35 | 225M | |
| TPTP-v8.1.2.tgz | 2024-10-04 18:35 | 865M | |
| TPTP-v4.1.0.tgz | 2024-10-04 18:35 | 170M | |
| TPTP-v3.1.0.tgz | 2024-10-04 18:35 | 6.1M | |
| TPTP-v3.4.2.tgz | 2024-10-04 18:35 | 124M | |
| TPTP-v3.7.0.tgz | 2024-10-04 18:35 | 127M | |
| TPTP-v2.6.0.tgz | 2024-10-04 18:35 | 6.7M | |
| TPTP-v6.3.0.tgz | 2024-10-04 18:35 | 450M | |
| TPTP-v5.3.0.tgz | 2024-10-04 18:35 | 201M | |
| TPTP-v3.6.0.tgz | 2024-10-04 18:35 | 125M | |
| TPTP-v8.0.0.tgz | 2024-10-04 18:35 | 807M | |
| TPTP-v7.1.0.tgz | 2024-10-04 18:35 | 553M | |
| TPTP-v2.3.0.tgz | 2024-10-04 18:35 | 1.6M | |
| TPTP-v5.1.0.tgz | 2024-10-04 18:35 | 170M | |
| TPTP-v6.2.0.tgz | 2024-10-04 18:35 | 450M | |
| TPTP-v3.4.0.tgz | 2024-10-04 18:35 | 124M | |
| TPTP-v3.3.0.tgz | 2024-10-04 18:35 | 8.7M | |
| TPTP-v3.5.0.tgz | 2024-10-04 18:35 | 125M | |
| TPTP-v3.1.1.tgz | 2024-10-04 18:35 | 6.1M | |
| TPTP-v3.4.1.tgz | 2024-10-04 18:35 | 125M | |
| TPTP-v1.2.0.tgz | 2024-10-04 18:35 | 1.1M | |
| TPTP-v5.2.0.tgz | 2024-10-04 18:35 | 191M | |
| TPTP-v1.0.0.tgz | 2024-10-04 18:35 | 1.0M | |
| TPTP-v3.0.0.tgz | 2024-10-04 18:35 | 6.5M | |
| TPTP-Beta.tgz | 2024-10-04 18:35 | 9.1K | |
| TPTP-v2.4.1.tgz | 2024-10-04 18:35 | 2.6M | |
| TPTP-v7.3.0.tgz | 2024-10-04 18:35 | 560M | |
| TPTP-v3.0.1.tgz | 2024-10-04 18:35 | 6.5M | |
| TPTP-v8.1.0.tgz | 2024-10-04 18:36 | 864M | |
| TPTP-v8.1.1.tgz | 2024-10-04 18:36 | 865M | |
| TPTP-v4.0.0.tgz | 2024-10-04 18:36 | 157M | |
| TPTP-v7.4.0.tgz | 2024-10-04 18:36 | 581M | |
| TPTP-v2.2.0.tgz | 2024-10-04 18:36 | 1.7M | |
| TPTP-v6.4.0.tgz | 2024-10-04 18:36 | 536M | |
| TPTP-v1.1.3.tgz | 2024-10-04 18:36 | 1.2M | |
| TPTP-v7.2.0.tgz | 2024-10-04 18:36 | 553M | |
| TPTP-v6.0.0.tgz | 2024-10-04 18:36 | 228M | |
| TPTP-v6.1.0.tgz | 2024-10-04 18:36 | 450M | |
| TPTP-v1.1.1.tgz | 2024-10-04 18:36 | 1.2M | |
| TPTP-v2.7.0.tgz | 2024-10-04 18:36 | 7.4M | |
| TPTP-v4.0.1.tgz | 2024-10-04 18:36 | 158M | |