News for hackers. Stuff that matters.

A comment on New Short Cut Found for Long Math Proofs (1992). Parent comment

Re:New Short Cut Found for Long Math Proofs (1992) by strong_ai on Wednesday October 07, 2015 @06:10PM (#10349468)
Yes. Note both the article and the paper are from 1992.
[ Parent | on HN ]

There are no comments on this comment yet.