2 ms·
Programs and proofs are the same thing though according to the Curry Howard Correspondence, if I'm not wrong.
by logarhythmic 4y ago
Programs and proofs are the same thing though according to the Curry Howard Correspondence, if I'm not wrong.
loading thread…