A Transition From Informal To Formal Proof In K-12 Mathematics