| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 3 | ||
| tptp_graph | H A D | 25-Jul-2019 | 3.5 KiB | |
| tptp_isabelle | H A D | 25-Jul-2019 | 999 | |
| tptp_isabelle_hot | H A D | 25-Jul-2019 | 996 | |
| tptp_nitpick | H A D | 25-Jul-2019 | 942 | |
| tptp_refute | H A D | 25-Jul-2019 | 877 | |
| tptp_sledgehammer | H A D | 25-Jul-2019 | 957 | |
| tptp_translate | H A D | 25-Jul-2019 | 976 |