And precisely this is the risk of teaching "mathematics" using a programming language. Unfortunately, I think quite a few people don't actually know the abstract mathematical definitions and use concrete implementations as definitions in their heads in the first place.

At least using a theorem prover would get you closer to doing actual maths and proving.

It's probably more accurate to say courses like these teach mechanics/calculation more than they teach the theory.