3 ms·
TFA seems to be big on mathematical proof of correctness, but how do you ever know you're proving the right thing?
by chromaton 7mo ago
TFA seems to be big on mathematical proof of correctness, but how do you ever know you're proving the right thing?