Transitioning to Proof. - Diane Resek; Dan Fendel (CoRR, 2015)