Proof Skills for Discrete Math in Computer Science