@armchair_progamerM to Programming Languages • 9 months agoThe Deep Link Equating Math Proofs and Computer Programswww.quantamagazine.orgexternal-linkmessage-square0arrow-up12arrow-down11
arrow-up11arrow-down1external-linkThe Deep Link Equating Math Proofs and Computer Programswww.quantamagazine.org@armchair_progamerM to Programming Languages • 9 months agomessage-square0