3 ms·
Sure. You can trivially prove any algorithm is correct, if you abstract away enough details, where the devil lives.
by gohrt 11y ago
Sure. You can trivially prove any algorithm is correct, if you abstract away enough details, where the devil lives.