5 ms·> software is basically math proofs But it's not.by bmitc 3y ago> software is basically math proofs But it's not.solomonb 3y agoNot all software but by the curry-howard correspondence you can arrive at programs as proofs.solomonb 3y agoWhy would I get down voted for this comment?