Tue, 07 Dec 2021 23:27:06 +0100 desharna fixed TPTP generation of multi-arity expressions
Mon, 29 Nov 2021 15:45:17 +0100 desharna proper handling of Hilbert choice in TFX logics
Sun, 28 Nov 2021 21:16:35 +0100 desharna proper tptp_builtins
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip