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

(github.com) by Nolan_Lwin | Jul 20, 2026 | 0 comments on HN