Thu, 10 Dec 2020 15:48:07 +0100 | desharna | generate unique variable names in tptp | changeset | files |
Thu, 10 Dec 2020 13:49:49 +0100 | desharna | proper handling of true and false in tptp | changeset | files |
Thu, 03 Dec 2020 18:27:24 +0100 | desharna | proper eta-expansion to avoid lambdas in tptp fool | changeset | files |
Thu, 03 Dec 2020 17:40:31 +0100 | desharna | proper proxification for fool + refactoring | changeset | files |
Thu, 03 Dec 2020 11:08:54 +0100 | desharna | proper renaming of THF_Lambda_Bool_Free | changeset | files |
Thu, 26 Nov 2020 18:45:19 +0100 | desharna | proper parsing of type encoding; | changeset | files |
Thu, 26 Nov 2020 18:06:36 +0100 | desharna | proper handling of builtins in TFX | changeset | files |