News for hackers. Stuff that matters.

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

Re:New Short Cut Found for Long Math Proofs (1992) by akkartik on Wednesday October 07, 2015 @05:33PM (#10349269)
Is this the paper they're talking about? http://people.csail.mit.edu/madhu/papers/1992/almss-conf.pdf
[ Parent | on HN ]
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 ]