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

6 pointsposted 10 hours ago
by Nolan_Lwin
(github.com)

No comments yet