Hacker News new | ask | show | jobs
by logarhythmic 1277 days ago
Programs and proofs are the same thing though according to the Curry Howard Correspondence, if I'm not wrong.