Inverting the Transition-to-Proof Classroom | Synapse