I’d just add to this excellent comment that, when I was in school a few decades ago, we also did essentially no proofs. Geometry was presented as rote memorizat

I’d just add to this excellent comment that, when I was in school a few decades ago, we also did essentially no proofs. Geometry was presented as rote memorization (as was pre-calc). I was utterly unprepared for college physics and differential equations (the mathy freshman CS courses) as a result - I struggled to figure out how to build on equations to find new solutions, and struggled with understanding the logical rules of things like Scheme. I wish we had had a more proof-based math education in high school. But I’m also unconvinced that the quality of math teachers in this country is up to that task (though maybe I just had a string of really mediocre ones, punctuated with a couple exceptions).