Thanks, I was unaware of that. I wasn't a math major, but from schoolmates I got the impression that we have the same mix of topics taught computationally vs. proof-based as you listed, students started on analysis and algebra at year 2 and the honors did that in more generality