Hacker News new | ask | show | jobs
by sightspinner 12 days ago
I'm confused about what this is. Is basically doing formal verification on the things spec'd out?