Etiqueta: verificación formal

Modelo Astra OpenAI: IA resuelve diez problemas matematicos con Lean