Skip Navigation

Programming Languages @programming.dev

armchair_progamer @programming.dev

2y ago

The Deep Link Equating Math Proofs and Computer Programs

www.quantamagazine.org

The Deep Link Equating Math Proofs and Computer Programs | Quanta Magazine

TechNews @radiation.party

irradiated @radiation.party

2y ago

HN

The Deep Link Equating Math Proofs and Computer Programs

www.quantamagazine.org /the-deep-link-equating-math-proofs-and-computer-programs-20231011/

0 comments

Load comments

No comments