TPTP Archives

NameSizeModified
BNFandSZSPreRelease.tgz8.6 KB2024-10-04
TPTP-Beta.tgz9.1 KB2024-10-04
TPTP-v1.0.0.tgz1.0 MB2024-10-04
TPTP-v1.1.1.tgz1.2 MB2024-10-04
TPTP-v1.1.2.tgz918.8 KB2024-10-04
TPTP-v1.1.3.tgz1.2 MB2024-10-04
TPTP-v1.2.0.tgz1.1 MB2024-10-04
TPTP-v1.2.1.tgz1.1 MB2024-10-04
TPTP-v2.0.0.tgz910.5 KB2024-10-04
TPTP-v2.1.0.tgz1.6 MB2024-10-04
TPTP-v2.2.0.tgz1.7 MB2024-10-04
TPTP-v2.2.1.tgz1.7 MB2024-10-04
TPTP-v2.3.0.tgz1.6 MB2024-10-04
TPTP-v2.4.1.tgz2.6 MB2024-10-04
TPTP-v2.5.0.tgz176.1 KB2024-10-04
TPTP-v2.6.0.tgz6.7 MB2024-10-04
TPTP-v2.7.0.tgz7.4 MB2024-10-04
TPTP-v3.0.0.tgz6.5 MB2024-10-04
TPTP-v3.0.1.tgz6.5 MB2024-10-04
TPTP-v3.1.0.tgz6.1 MB2024-10-04
TPTP-v3.1.1.tgz6.1 MB2024-10-04
TPTP-v3.2.0.tgz6.4 MB2024-10-04
TPTP-v3.3.0.tgz8.7 MB2024-10-04
TPTP-v3.4.0.tgz124.1 MB2024-10-04
TPTP-v3.4.1.tgz125.1 MB2024-10-04
TPTP-v3.4.2.tgz124.1 MB2024-10-04
TPTP-v3.5.0.tgz124.6 MB2024-10-04
TPTP-v3.6.0.tgz124.6 MB2024-10-04
TPTP-v3.7.0.tgz126.7 MB2024-10-04
TPTP-v4.0.0.tgz156.9 MB2024-10-04
TPTP-v4.0.1.tgz158.4 MB2024-10-04
TPTP-v4.1.0.tgz169.7 MB2024-10-04
TPTP-v5.0.0.tgz170.2 MB2024-10-04
TPTP-v5.1.0.tgz170.1 MB2024-10-04
TPTP-v5.2.0.tgz191.2 MB2024-10-04
TPTP-v5.3.0.tgz201.0 MB2024-10-04
TPTP-v5.4.0.tgz199.2 MB2024-10-04
TPTP-v5.5.0.tgz224.7 MB2024-10-04
TPTP-v6.0.0.tgz227.8 MB2024-10-04
TPTP-v6.1.0.tgz449.6 MB2024-10-04
TPTP-v6.2.0.tgz450.1 MB2024-10-04
TPTP-v6.3.0.tgz450.3 MB2024-10-04
TPTP-v6.4.0.tgz535.7 MB2024-10-04
TPTP-v7.0.0.tgz551.5 MB2024-10-04
TPTP-v7.1.0.tgz552.6 MB2024-10-04
TPTP-v7.2.0.tgz552.6 MB2024-10-04
TPTP-v7.3.0.tgz560.4 MB2024-10-04
TPTP-v7.4.0.tgz580.6 MB2024-10-04
TPTP-v7.5.0.tgz589.5 MB2024-10-04
TPTP-v8.0.0.tgz807.1 MB2024-10-04
TPTP-v8.1.0.tgz864.3 MB2024-10-04
TPTP-v8.1.1.tgz865.2 MB2024-10-04
TPTP-v8.1.2.tgz865.2 MB2024-10-04
TPTP-v8.2.0.tgz869.9 MB2024-10-04
TPTP-v9.0.0.tgz878.2 MB2024-10-04
TPTP-v9.1.0.tgz878.7 MB2025-07-30
TPTP-v9.2.0.tgz880.0 MB2025-09-26
TPTP-v9.2.1.tgz880.0 MB2025-10-10
TPTP-v9.3.0.tgz892.9 MB2026-08-26