Vero: Can AI Agents Build Formally Verified Software Repositories?

(arxiv.org) by ninadwrites | Aug 16, 2026 | 0 comments on HN