<p>I believe Chicago’s 160s Honors Calc uses Spivak. It’s such a tough course because they break the calc down to the basics and proof it all. At many colleges, proofs happen in Analysis (and some schools have an Intro to Proof after calc before Analysis).</p>
<p>S1 was lucky because his HS calc teachers used materials from top colleges’ Calc 1-3 courses and real problem sets. He learned proofs at HCSSiM. Was terrific preparation. He has a copy of Spivak for fun and reference, too.</p>
<p>S1 did IBL Analysis and I’m not even sure they had a text!</p>