Hacker News new | ask | show | jobs
by bneb-dev 25 days ago
It looks like verification is distinct from the compiler.