News for hackers. Stuff that matters.
Re:The Deep Link Equating Math Proofs and Computer Programs by dekhn on Wednesday October 11, 2023 @01:54PM (#37847881)

There are no comments on this comment yet.