4 ms·Software engineering shall rely more and more on mathematical proofs. Go Idris! :)by pezo1919 6y agoSoftware engineering shall rely more and more on mathematical proofs. Go Idris! :)