Thu, 10 Dec 2020 19:08:12 +0100 | desharna | tuned name generation in tptp to not depend on shadowing | changeset | files |
Thu, 10 Dec 2020 16:26:54 +0100 | desharna | tuned lambda translation for fool | changeset | files |
Thu, 10 Dec 2020 15:48:07 +0100 | desharna | generate unique variable names in tptp | changeset | files |