Introduction to Proof

NSF: Generating a Research-Informed Transition to a Mathematical Proof Curriculum

The RAMP project focused on the developing and studying a humanized curriculum for proof-based mathematics.