Show HN: Forall – OpenSpec but with actual machine-checkable verificationgithub.com·2 pts·Nolan_Lwin·1
Show HN: Forall – An AI coding agent that generates machine-checkable proofsgithub.com·11 pts·Nolan_Lwin·0