Vero: AI 에이전트가 형식적으로 검증된 소프트웨어 저장소를 구축할 수 있을까?Vero: Can AI Agents Build Formally Verified Software Repositories?▲ 1 · vero.verina.io · 80일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…