Thu, 11 Nov 2021 15:34:02 +0100 desharna tuned generation of TPTP with $ite/$let in higher-order logics
Thu, 11 Nov 2021 12:02:08 +0100 desharna tuned generation of TPTP with $ite in function position
Thu, 11 Nov 2021 11:42:04 +0100 desharna tuned TPTP generation of If helper facts
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip