Fri, 12 Nov 2021 08:51:45 +0100 | desharna | added padding to Mirabelle's output | changeset | files |
Fri, 12 Nov 2021 00:28:00 +0100 | desharna | merged | changeset | files |
Thu, 11 Nov 2021 15:34:02 +0100 | desharna | tuned generation of TPTP with $ite/$let in higher-order logics | changeset | files |