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

 (github.com)

5 points | by Nolan_Lwin 2 hours ago

0 comments