2 ms·

I agree that the chances are pretty small, but is that "good enough" when it comes to formally verifying things? (I know next to nothing about formal verificat

• scscsc 12y ago
  Well, that's also true. But apparently there is no better thing to do. There is always a disconnect between what you mean and what you say. It happens all the time and the risk is not going to go away. People who work with proof assistants understand this risk better and most of them are pretty happy that the risk is sufficiently small for their purposes.