Vero: Can AI Agents Build Formally Verified Software Repositories?By matt_d · 2026-08-23 · 1 points · 0 commentshttps://vero.verina.io/By matt_d · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews