Vero: Can AI Agents Build Formally Verified Software Repositories?arxiv.org2 points·ninadwrites··0 commentsOpen articleSaveView on HN