poteeweet
Re:How I got a CS degree with pen and paper and why I'm doing it again
on Wednesday January 27, 2016 @03:54PM (#10983231)
They didn't mean "prove" as in mathematically "prove" than an algorithm works, they meant it in mechanical terms (does it compile, does it run, does it past test inputs, etc.).