It can be made to be. Dijkstra came up with a nice and rigorous notation he used for his own proofs[1]. That page also includes some slightly spicy takes on why things are as they are. I agree that this is an area where the broader mathematical field has much to learn from computing science. The unforgiving nature of computing automata really drove that innovation. Meanwhile one can afford to be sloppy when one is trying to convince some other mathematician with a sky high IQ.

[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E...