← Back to context

Comment by sightspinner

17 hours ago

I'm confused about what this is. Is basically doing formal verification on the things spec'd out?

0 comments

sightspinner

Reply

No comments yet

Contribute on Hacker News ↗