News for hackers. Stuff that matters.

A comment on Stepping into math: Open-sourcing our step-by-step solver. Parent comment

Re:Stepping into math: Open-sourcing our step-by-step solver by 21 on Thursday January 19, 2017 @08:50PM (#13441164)
So you're saying that if they left out the "search on CDC" line the paper would not have been accepted.
[ Parent | on HN ]
Re:Stepping into math: Open-sourcing our step-by-step solver by yequalsx on Thursday January 19, 2017 @09:15PM (#13441261)
No. I'm saying it would not have been published if it wasn't a counterexample.
[ Parent | on HN ]