Vero: Can AI Agents Build Formally Verified Software Repositories?

The card is committed at public/og.png (regenerate with scripts/og.mjs). --> Vero · Can AI agents build formally verified software repositories?