Show HN: Forall – Spec-driven AI coding with formal verification
Posted 2 hours ago by
Nolan_Lwin
7
points
https://github.com/astrio-labs/forall
0
comments