4 ms·
The proof may be valid but the implementation may have a mistake, or the compiler, or the operating system, or the hardware.
by speedgoose 5y ago
The proof may be valid but the implementation may have a mistake, or the compiler, or the operating system, or the hardware.
- AussieWog93 5y agoOr if it dynamically loads anything that isn't formally proved.