astrio-labs/forall

11 best points · 2 comments · 4 Hacker News posts · View on GitHub

Hacker News discussions

• Show HN: Forall – An AI coding agent that generates machine-checkable proofs (11 points, 0 comments, by Nolan_Lwin, 2026-07-16)
• The future of software isn't tests. It's proofs (9 points, 1 comments, by Nolan_Lwin, 2026-07-21)
• Show HN: Forall – Spec-driven AI coding with formal verification (7 points, 0 comments, by Nolan_Lwin, 2026-07-17)
• Show HN: Forall – OpenSpec but with actual machine-checkable verification (2 points, 1 comments, by Nolan_Lwin, 2026-07-20)