The deep link equating math proofs and computer programs
Submitted 1 year ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://www.quantamagazine.org/the-deep-link-equating-math-proofs-and-computer-programs-20231011/