REWRITE_TAC REPEAT_STRIP_TAC STRIP_TAC EXISTS_TAC REWRITE_TAC ASM_SET_TAC
REWRITE_TAC SIMP_TAC ONCE_REWRITE_TAC REWRITE_TAC
REPEAT_STRIP_TAC STRIP_TAC UNDISCH_TAC GEN_REWR_TAC REWRITE_TAC DISCH_THEN MP_TAC KNOW_TAC EXISTS_TAC ASM_REWRITE_TAC DISCH_TAC ASM_REWRITE_TAC STRIP_TAC SUBGOAL_THEN SUBST1_TAC ASM_SET_TAC ASM_MESON_TAC
REPEAT_GEN_TAC GEN_TAC REWRITE_TAC EQ_TAC MESON_TAC DISCH_TAC X_GEN_TAC DISCH_TAC FIRST_X_ASSUM MP_TAC ASM_REWRITE_TAC MESON_TAC
REPEAT_GEN_TAC GEN_TAC SIMP_TAC DISCH_TAC… See the full description on the dataset page:
https://huggingface.co/datasets/nornor02/hol.
