Hacker News new | ask | show | jobs
by angry_octet 16 hours ago
There are plenty of proof systems that can handle floating point? The proof doesn't happen during execution...