Show HN: Forall – OpenSpec but with actual machine-checkable verification
By Nolan_Lwin · 2026-07-20 · 2 points · 1 comments
https://github.com/astrio-labs/forall
By Nolan_Lwin · 2 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews