Hacker News new | ask | show | jobs
by DanWaterworth 4171 days ago
I didn't say it couldn't; I didn't say anything about formal verification.