A korrentour readingWhat is a korrent?
Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough.
Drawn from what Hillel Wayne said
A private bookmark. Not a position, and never counted.