Programs and proofs are the same thing though according to the Curry Howard Correspondence, if I'm not wrong.