Vero: Can AI Agents Build Formally Verified Software Repositories?vero.verina.io1 point·matt_d··0 commentsOpen articleSaveView on HN