Hi, I am looking for some opinions on making the transition from computations to proof-writing. Next year, I plan on taking Honors Calculus at the University of Chicago and rather than learning axioms or any new mathematical concepts, I'd like to learn how to express mathematical ideas better. For the past few weeks, I have been trying to prove many of the theorems that I only used, but usually didn't prove in Calculus BC. But doing proofs is a bit time consuming and getting others to check it is not an easy option for me. I have multiple calculus textbooks, problem-solving books, and How to Prove It by Velleman. At the moment, I am considering reading various proofs in my calc textbooks and then doing more proof-based problems to see how I have improved OR read through How to Prove It. I don't think How to Prove It comes with a solution manual, so I guess the question is, should I go with a direct approach by looking at proofs or a more "formal" training in proof-writing? Any suggestions, especially ones that I haven't suggested, are welcome.