<br>
<br>
<p>I don’t know. I believe that there are a lot of high-schools that don’t offer calculus at all. It seems that most schools that do offer calculus offer something compatible with AP calculus as that seems to be the major goal. It’s the enlightened schools that offer an honors version that is proof-based.</p>
<p>I’m familiar with Jacobs Geometry which does have proofs that can take a while. It also has constructions with compass and straightedge.</p>