![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| GetSymbols | 2021-07-17 17:16 | 150K | |
| NumberVars | 2021-07-17 17:16 | 799K | |
| SPASS | 2021-07-17 17:16 | 479K | |
| SPASS37 | 2021-07-17 17:16 | 689K | |
| clausefilter | 2021-07-17 17:16 | 73 | |
| clausefilter.old | 2021-07-17 17:16 | 262K | |
| e_axfilter | 2021-07-17 17:16 | 517K | |
| epclextract | 2021-07-17 17:16 | 238K | |
| eproof | 2021-07-17 17:16 | 3.4K | |
| eprover | 2021-07-17 17:16 | 893K | |
| fofshared | 2021-07-17 17:16 | 300K | |
| fofshared.c | 2021-07-17 17:16 | 8.3K | |
| fofshared.trms2 | 2021-07-17 17:16 | 411K | |
| interpfilter | 2021-07-17 17:16 | 261K | |
| interpformat | 2021-07-17 17:16 | 266K | |
| ladr_to_tptp | 2021-07-17 17:16 | 363K | |
| mace4 | 2021-07-17 17:16 | 299K | |
| paradox | 2021-07-17 17:16 | 3.0M | |
| prdx2p9.pl | 2021-07-17 17:16 | 3.2K | |
| prdxprep.pl | 2021-07-17 17:16 | 2.7K | |
| runepar.pl | 2021-07-17 17:16 | 22K | |
| runparadox | 2021-07-17 17:16 | 42 | |
| runparadox1 | 2021-07-17 17:16 | 87 | |
| runwtlcached | 2021-07-17 17:16 | 1.1K | |
| runwtlimit | 2021-07-17 17:16 | 105 | |
| snow | 2021-07-17 17:16 | 718K | |
| tptp4X | 2021-07-17 17:16 | 152K | |
| tptp_to_ladr | 2021-07-17 17:16 | 363K | |