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 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 ]

There are no comments on this comment yet.