Show HN: Forall – An AI coding agent that generates machine-checkable proofs

(github.com)

6 points | by Nolan_Lwin 10 hours ago ago

No comments yet.