Proof Skills For Discrete Math In CS