Tue, 25 Jan 2022 09:57:44 +0100 | desharna | merged | changeset | files |
Sat, 22 Jan 2022 14:33:35 +0100 | desharna | optimized facts traversal in TPTP translation | changeset | files |
Sat, 22 Jan 2022 14:00:36 +0100 | desharna | optimized app_op_level selection in TPTP generation | changeset | files |