
In my experience, “writing a proof in math” was an exercise in rote memorization. They didn’t try to teach us how any of it worked, just “Write this down. You will have to write it down just like this on the test.” Might as well have been a recipe for custard.
My teacher said the same thing. To this day, there is a Casio scientific calculator in my pickup truck, one in my backpack and one in my tool bag, I also never leave the house without my smart phone and I usually carry some kind of Linux laptop or tablet with me on any significant mission.