3 ms·
He never posited that code couldn't be proven correct by formal methods, only that he doesn't assume the type system compiling it makes it correct.
by jpgvm 12y ago
He never posited that code couldn't be proven correct by formal methods, only that he doesn't assume the type system compiling it makes it correct.