Mistral lanza 'Leanstral', el primer agente de código de código abierto para el lenguaje de programación Lean 4.

Resumen fuente

Mistral lanza 'Leanstral', el primer agente de código de código abierto para el lenguaje de programación Lean 4. La herramienta busca ayudar a superar el cuello de botella de revisar manualmente el código generado por IA en dominios de alto riesgo como la investigación y el software crítico. Apunta a una mayor velocidad y seguridad.