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

Article URL: https://github.com/astrio-labs/forall

Comments URL: https://news.ycombinator.com/item?id=48984945

Points: 1

# Comments: 1