News for hackers. Stuff that matters.

A comment on The Deep Link Equating Math Proofs and Computer Programs. Parent comment

Re:The Deep Link Equating Math Proofs and Computer Programs by Warwolt on Thursday October 12, 2023 @01:59PM (#37860610)
Depends on the properties you want to verify
[ Parent | on HN ]

There are no comments on this comment yet.