Blog

Leanstral Mistral: Primer Agente Open Source para Lean 4

Mistral AI lanza Leanstral, un modelo MoE de 119B parámetros para verificación formal. Genera código y pruebas verificables a 15x menos costo.