Hacker News new | ask | show | jobs
by yjftsjthsd-h 44 days ago
No, a collection of fuzzers and the lean proof assistant found (almost) no bugs.