Forall introduces spec-driven AI coding with formal verification

Original headline: "Show HN: Forall – Spec-driven AI coding with formal verification"