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

(github.com)

7 points | by Nolan_Lwin 10 hours ago ago