The Deep Link Equating Math Proofs and Computer Programs
Comments ( https://news.ycombinator.com/item?id=37845195 )
https://www.quantamagazine.org/the-deep-link-equating-math-proofs-and-computer-programs-20231011/
Discussion
No replies yet.
The Deep Link Equating Math Proofs and Computer Programs
Comments ( https://news.ycombinator.com/item?id=37845195 )
https://www.quantamagazine.org/the-deep-link-equating-math-proofs-and-computer-programs-20231011/
No replies yet.