Show HN: Forall – OpenSpec but with actual machine-checkable verification(github.com)
2 pointsby Nolan_Lwin15 hours ago1 comment
  • sightspinner12 hours ago
    I'm confused about what this is. Is basically doing formal verification on the things spec'd out?