4 ms·
Not all software but by the curry-howard correspondence you can arrive at programs as proofs.
by solomonb 3y ago
Not 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?