| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2025-11-13 17:05 +0000 | 3625 | tptp_graph | file | revisions | annotate |
| -rwxr-xr-x | 2025-11-13 17:05 +0000 | 1391 | tptp_isabelle | file | revisions | annotate |
| -rwxr-xr-x | 2025-11-13 17:05 +0000 | 1388 | tptp_isabelle_hot | file | revisions | annotate |
| -rwxr-xr-x | 2025-11-13 17:05 +0000 | 1334 | tptp_nitpick | file | revisions | annotate |
| -rwxr-xr-x | 2025-11-13 17:05 +0000 | 1269 | tptp_refute | file | revisions | annotate |
| -rwxr-xr-x | 2025-11-13 17:05 +0000 | 1349 | tptp_sledgehammer | file | revisions | annotate |
| -rwxr-xr-x | 2025-11-13 17:05 +0000 | 1340 | tptp_translate | file | revisions | annotate |