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

(github.com)

2 points | by Nolan_Lwin 14 hours ago ago

1 comments

  • sightspinner 11 hours ago

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