Red 📖 | CompData | 74 mathmath: pred_def, sk_nequiv, ThAux_def, Polynomial.toSKI_correct, isZero_def, MRed.diamond, List.tail_def, List.prependZero_def, pair_def, List.cons_def, fixedPoint_correct, parallel_mRed, mRed_of_parallelReduction, natUnpairRight_def, rec_zero, MRed.S, List.tailStep_def, C_head_mred, natUnpairLeft_def, predAux_def, unpaired_def, or_def, B_def, confluent_redexFree, List.head_def, redexFree_iff_mred_eq, sqrt_def, cond_correct, and_def, rec_succ, snd_correct, redexFree_iff, le_def, R_def, RedexFree.normal_red, church_red, Y_correct, rice', H_def, rec_def, mJoin_red_tail, fst_correct, unpaired_correct, Th_correct, MRed.head, rfindAboveAux_def, mJoin_red_equivalence, MRed.tail, MRed.K, TF_nequiv, rfindAboveAux_base, natPair_def, MRed.I, mJoin_red_redexFree, List.nil_def, rotL_def, del_def, mul_def, recAux_def, mJoin_red_head, List.headD_def, rfindAboveAux_step, C_def, rotR_def, sqrtCond_def, add_def, parallel_red, Y_def, sub_def, evalStep_right_correct, Polynomial.elimVar_correct, reflTransGen_parallelReduction_mRed, B_tail_mred, List.tailFold_correct
|