nornor02/hol download history
nornor02/hol is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 4 times (2 in the last 7 days), and 210 times in total. It ranks #837,919 among datasets by monthly downloads.
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_TA