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 |
Sat, 22 Jan 2022 12:05:09 +0100 | desharna | tuned trivial check in mirabelle_sledgehammer | changeset | files |