Show HN: Forall – OpenSpec but with actual machine-checkable verification

1 comments

• sightspinner 9 hours ago

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