TY  - RPRT
TI  - Transitioning to Proof
AU  - Diane Resek
AU  - Dan Fendel
PY  - 2015
UR  - https://arxiv.org/abs/1507.03680
ID  - 1507.03680
ER  -