5 ms·> Prove its correctness That's probably an overstatement :Pby javert 13y ago> Prove its correctness That's probably an overstatement :Palemhnan 13y agowell, sure it is right now because we are not able to do so yet. But there is a lot of research in computer science trying to do made that statement less over! :)javert 13y agoYeah, but AFAIK they have been researching that topic for like 30 years with very little progress overall.