[vilya]

This looks like a good time to quote Knuth: "Beware of bugs in the above code; I have only proved it correct, not tried it."

[vinutheraj]

Yes, exactly, what if the thing they proved is not what they coded in the end, there is a good enough probability of bugs if the code is sufficiently big !