Hacker News new | ask | show | jobs
by emorning3 1095 days ago
It's not about generating code from contracts, it's about formally verifying that the associated C0 code satisfies those contracts.