I don't think formal texts should go away, just things equivalent to those well done, plain spoken, 1-1 explanations need to be right beside them in the textbooks. They often are not.

Also math tends to have a documentation problem that could learn a lot from software engineering. Single letter variables are not acceptable in most coding for a simple example.