You are, of course, correct. It's strange no one brought up https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curr

You are, of course, correct. It's strange no one brought up https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... yet. In a very real sense, programmers are creating mathematical proofs!