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 |