Vero: Can AI Agents Build Formally Verified Software Repositories? | Digital Library | PAMCET | PAMCET